@@ -64,9 +64,9 @@ instance Arbitrary Type where
64 where tipe :: Int -> Gen Type
64 where tipe :: Int -> Gen Type
65 tipe n = oneof [ Lambda <$> depthTipe <*> depthTipe
65 tipe n = oneof [ Lambda <$> depthTipe <*> depthTipe
66 , Var <$> lowVar
66 , Var <$> lowVar
67− , Data <$> capVar <*> listOf depthTipe
67+ --, Data <$> capVar <*> listOf depthTipe
68− , Record <$> listOf1 field <*> (Just <$> lowVar)
68+ --, Record <$> listOf1 field <*> (Just <$> lowVar)
69− , Record <$> listOf field <*> pure Nothing
69+ --, Record <$> listOf field <*> pure Nothing
71 where depthTipe :: Gen Type
71 where depthTipe :: Gen Type
72 depthTipe = do
72 depthTipe = do