Test.QuickCheck.Simple
data Property
boolTest
qcTest
type Test
data TestError
runTest
defaultMain'
defaultMain