diff --git a/schala-lang/language/src/reduced_ast.rs b/schala-lang/language/src/reduced_ast.rs
index b85659d..022b15a 100644
--- a/schala-lang/language/src/reduced_ast.rs
+++ b/schala-lang/language/src/reduced_ast.rs
@@ -356,7 +356,6 @@ impl PatternLiteral {
 impl Declaration {
   fn reduce(&self, symbol_table: &SymbolTable) -> Stmt {
     use self::Declaration::*;
-    use crate::ast::Signature;
     match self {
       Binding {name, constant, expr, .. } => Stmt::Binding { name: name.clone(), constant: *constant, expr: expr.node().reduce(symbol_table) },
       FuncDecl(Signature { name, params, .. }, statements) => Stmt::PreBinding {
diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 99c356c..d97898b 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -85,7 +85,6 @@ impl TypeConst {
       StringT => format!("String"),
       Bool => format!("Bool"),
       Ordering => format!("Ordering"),
-      _ => format!("UNKNOWN TYPE"),
     }
   }
 }
@@ -360,7 +359,7 @@ impl<'a> TypeContext<'a> {
     self.unify(t2, t3)
   }
 
-  fn lambda(&mut self, params: &Vec<FormalParam>, type_anno: &Option<TypeIdentifier>, body: &Block) -> InferResult<Type> {
+  fn lambda(&mut self, params: &Vec<FormalParam>, type_anno: &Option<TypeIdentifier>, _body: &Block) -> InferResult<Type> {
     let argument_types: InferResult<Vec<Type>> = params.iter().map(|param: &FormalParam| {
       if let (_, Some(type_identifier)) = param {
         self.get_type_from_name(type_identifier)