Compile time checks that a computation considers producing data through all possible constructors
Why do you think that https://github.com/fused-effects/fused-effects is a good alternative to exhaustive
Compile time checks that a computation considers producing data through all possible constructors
Why do you think that https://github.com/fused-effects/fused-effects is a good alternative to exhaustive