diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 95ba5ec..a0be1af 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -57,7 +57,7 @@ impl Type<TVar> {
   fn skolemize(&self) -> Type<UVar> {
     match self {
       Type::Var(TVar::Univ(uvar)) => Type::Var(uvar.clone()),
-      Type::Var(TVar::Exist(evar)) => unimplemented!(),
+      Type::Var(TVar::Exist(evar)) => Type::Var(UVar(Rc::new(format!("sk")))),
       Type::Const(ref c) => Type::Const(c.clone()),
       Type::Arrow(a, b) => Type::Arrow(
         Box::new(a.skolemize()),