But the use of Simplify it is sprinkled through the effect codebase without a way to bypass it.
Given a union with two discriminators, my union gets flattened to a set of field level unions. Easier to see in the code playground. I thought I can fix this by creating my own pick/omit utils, but then the same problem resurfaced in the effect-atom package. And again, it is because of the Simplify type.
My use case: I'm applying a functional decider pattern (based on the work by Jérémie Chassaing), where I compose deciders. The pattern itself works, but I encountered the issue by doing so when using effect-atom / Schema.pick