Existential datatypes holding evidence of constraints
Why do you think that https://github.com/ekmett/constraints is a good alternative to exists
Existential datatypes holding evidence of constraints
Why do you think that https://github.com/ekmett/constraints is a good alternative to exists