Test.QuickCheck.Property.Monad
data
PropM
a
assert
failWith
gen
logMessage
logMessageLn