Test.Sandbox.QuickCheck
quickCheck
quickCheckWith
verboseCheck
verboseCheckWith