Data types and type classes for universally and existentially quantified types
Why do you think that https://github.com/yesodweb/yesod is a good alternative to quantification
Data types and type classes for universally and existentially quantified types
Why do you think that https://github.com/yesodweb/yesod is a good alternative to quantification