Test.QuickCheck.Monadic
data
PropertyM
m a
stop
assert
pre
run
pick
wp
forAllM
monitor
monadic
monadic'
monadicIO
monadicST
runSTGen