@hackage / hspec-laws

Document and test laws for standard type classes