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