diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index d9e6737..49ba798 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -30,7 +30,11 @@ impl TypeError {
 #[derive(Debug, Clone)]
 pub enum Type {
   Const(TypeConst),
-  Arrow(Box<Type>, Box<Type>)
+  Arrow(Box<Type>, Box<Type>),
+  Compound {
+    ty: Box<Type>, 
+    args:Vec<Type>
+  }
 }
 
 #[derive(Debug, Clone, PartialEq)]