diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index 87827f6..660bf51 100644
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -141,7 +141,7 @@ impl Substitution {
 }
 
 
-#[derive(Debug)]
+#[derive(Debug, Default)]
 struct TypeEnvironment {
   map: HashMap<Rc<String>, PolyType>,
 }
@@ -272,6 +272,7 @@ impl TypeContext {
 // this is the equivalent of the Haskell Infer monad
 #[derive(Debug, Default)]
 struct Infer {
+  env: TypeEnvironment,
   _idents: u32,
 }