Test.QuickCheck.All
quickCheckAll
verboseCheckAll
forAllProperties
allProperties
polyQuickCheck
polyVerboseCheck
monomorphic