@hackage / axiomatic-classes

Specify axioms for type classes and quickCheck all available instances