Test.QuickCheck.Monadic
data
PropertyM
m a
assert
pre
run
pick
wp
forAllM
monitor
monadic
monadicIO
data
IdM
m s a
data
MonadS'
m
class
MonadS
m