@hackage axiomatic-classes0.1.0.0

Specify axioms for type classes and quickCheck all available instances

Provides a way to specify axioms for type classes and to quickCheck all available instances against them