@hackage quantification0.7.0.1

Rage against the quantification

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