Test.QuickCheck.Monadic

data PropertyM m a

stop

assert

pre

run

pick

wp

forAllM

monitor

monadic

monadic'

monadicIO

monadicST

runSTGen