When specified with zero type arguments, errors Data.TaggedError should not require a runtime argument
What version of Effect is running?
Whatever version the playground runs
What steps can reproduce the bug?
https://effect.website/play#9896abe46cfe
What is the expected behavior?
No runtime argument should be required
What do you see instead?
A runtime argument is required, of void 0
Additional information
No response
BTW The recommended approach is to use classes because they provide opaque identifiers in type hints, which are more pleasant to work with during development.
Beautiful, I was just wondering about that. Thanks!
You'll see the same pattern in multiple places. Context.Tag, Effect.Service, Schema.Class (and all its variants) and many more. The syntax can be a bit odd, but it has its benefits for readability (especially LSP).
Sure, but there are docs where no args are passed