diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 7a71f3e..c392086 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -189,4 +189,9 @@ impl<'a> TypeContext<'a> {
       _ => Type::Const(TypeConst::Unit)
     })
   }
+
+
+  fn unify(&mut self, t1: &Type, t2: &Type) -> InferResult<Type> {
+    unimplemented!()
+  }
 }