@hackage quickcheck-poly0.2.0.0

Automating QuickCheck for polymorphic and overlaoded properties

Automating QuickCheck for polymorphic and overlaoded properties in a small world of types