@hackage quantification0.1.2

Data types and typeclasses to deal with universally and existentially quantified types

Please see README.md