Test.LazySmallCheck
class Serial a
type Series a
data Cons a
class Testable a
data Property