@@ -73,9 +73,3 @@ expr =
73constructor :: IParser (String, [T.Type])
73constructor :: IParser (String, [T.Type])
74constructor = (,) <$> (capTypeVar <?> "another type constructor")
74constructor = (,) <$> (capTypeVar <?> "another type constructor")
75 <*> spacePrefix term
75 <*> spacePrefix term
77−readType :: String -> Type
79− case iParse expr "" str of
80− Left err -> error (show err)