diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 635362d..4fa41a8 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -8,7 +8,6 @@ pub type TypeName = Rc<String>;
 pub struct TypeContext<'a> {
   variable_map: ScopeStack<'a, Rc<String>, Type<()>>,
   evar_count: u32
-
 }
 
 type InferResult<T> = Result<T, TypeError>;
@@ -30,8 +29,8 @@ enum Type<A> {
 }
 
 enum TVar {
-  Universal(UniversalVar),
-  Existential(ExistentialVar)
+  Univ(UniversalVar),
+  Exist(ExistentialVar)
 }
 
 struct UniversalVar(Rc<String>);
@@ -193,7 +192,7 @@ impl<'a> TypeContext<'a> {
   fn allocate_existential(&mut self) -> Type<TVar> {
     let n = self.evar_count;
     self.evar_count += 1;
-    Type::Var(TVar::Existential(ExistentialVar(n)))
+    Type::Var(TVar::Exist(ExistentialVar(n)))
   }
 }