Test.QuickCheck.Utils

isAssociativeBy

isAssociative

isCommutableBy

isCommutable

isTotalOrder