@@ -64,9 +64,9 @@ instance Arbitrary Type where
6464 where tipe :: Int -> Gen Type
6565 tipe n = oneof [ Lambda <$> depthTipe <*> depthTipe
6666 , Var <$> lowVar
67− , Data <$> capVar <*> listOf depthTipe
68− , Record <$> listOf1 field <*> (Just <$> lowVar)
69− , Record <$> listOf field <*> pure Nothing
67+ --, Data <$> capVar <*> listOf depthTipe
68+ --, Record <$> listOf1 field <*> (Just <$> lowVar)
69+ --, Record <$> listOf field <*> pure Nothing
7070 ]
7171 where depthTipe :: Gen Type
7272 depthTipe = do