@@ -76,7 +76,7 @@ instance Arbitrary Type where
76 field = (,) <$> lowVar <*> depthTipe
76 field = (,) <$> lowVar <*> depthTipe
78 shrink tipe = case tipe of
78 shrink tipe = case tipe of
79− Lambda s t -> Lambda <$> shrink s <*> shrink t
79+ Lambda s t -> s : t : (Lambda <$> shrink s <*> shrink t)
80 Var _ -> []
80 Var _ -> []
81 Data n ts -> Data <$> shrinkWHead n <*> shrink ts
81 Data n ts -> Data <$> shrinkWHead n <*> shrink ts
82 Record fs t -> case t of
82 Record fs t -> case t of