When specified with zero type arguments, errors Data.TaggedError should not require a runtime argument #5067
Description
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