Type Inference Limitation with `Effect.gen` and Multiple `Data.Error` Types

When using Effect.gen and yielding two separate Data.Error types it looks like the type inference only catches whatever is thrown with the first use of yield*. I was hoping it would give me a compile-time error if I didn't have them all. Is this a limitation of using a union, or typecript, or Effect?
Was this page helpful?