@hackage quantification-aeson0.8

Rage against the quantification - integration with Aeson

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