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