axiomatic-classes OSX / Linux: Windows: Provides a way to specify axioms for type classes and to quickCheck all available instances against them
