diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index d8938c0..56cf24c 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -11,7 +11,7 @@ use crate::builtin::PrefixOp;
 pub type TypeName = Rc<String>;
 
 pub struct TypeContext<'a> {
-  variable_map: ScopeStack<'a, Rc<String>, ()>,
+  variable_map: ScopeStack<'a, Rc<String>, Type>,
   //evar_count: u32
 }