Test.QuickCheck.Utils
isAssociativeBy
isAssociative
isCommutableBy
isCommutable
isTotalOrder