Type Based Generation

class Arbitrary a where

arbitrary :: Gen a

instance Arbitrary Integer where …

instance (Arbitrary a, Arbitrary b) => Arbitrary (a,b) where …

instance Arbitrary a => Arbitrary [a] where …

Defines default generation method by

recursion over the type!