Test.Validity.Operations.Associativity
associativeOnGens
associativeOnValids
associative
associativeOnArbitrary