1 files changed, 3 insertions, 1 deletions
diff --git a/AST.hs b/AST.hs
index f8f3624..6b327c5 100644
--- a/AST.hs
+++ b/AST.hs
@@ -11,10 +11,12 @@ newtype Name = Name String
   deriving (Show)
 
 data Type
-    = TApp Name [Type]
+    = TApp Type [Type]
     | TTup [Type]
     | TList Type
     | TFun Type Type
+    | TCon Name
+    | TVar Name
   deriving (Show)
 
 data FunEq t = FunEq Name [Pattern t] (RHS t)