@hackage quantification0.1

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

Please see README.md