Test.Validity.Operations.Commutativity
commutativeOnGens
commutativeOnValids
commutative
commutativeOnArbitrary