Test.QuickCheck.Property.Generic
prop_Reflexive
prop_Associative
prop_Commutative
prop_LeftIdentity
prop_RightIdentity
prop_Identity
prop_GroupInverse
prop_GenMonoid
prop_Group