Test.QuickCheck
data Config
data Gen a
class Arbitrary a
class Testable a
data Property
data Result