Foundation.Check
data Gen a
class Arbitrary a
oneof
elements
frequency
between
data Test
testName
data PropertyCheck
data Property
class IsProperty p
(===)
propertyCompare
propertyAnd
propertyFail
forAll
defaultMain