Foundation.Check
data Gen a
class Arbitrary a
oneof
elements
frequency
data Test
testName
data Property
class IsProperty p
(===)
defaultMain