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