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

When using

Effect.gen

Effect.gen

and yielding two separate

Data.Error

Data.Error

types it looks like the type inference only catches whatever is thrown with the first use of

yield*

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?

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