Defining `TaggedError` or `TaggedClass` without parameters - Effect Community