diff --git a/src/Syntax.hs b/src/Syntax.hs
index e26d02b..0a7f69e 100644
--- a/src/Syntax.hs
+++ b/src/Syntax.hs
@@ -91,7 +91,7 @@ strengthenToPattern t           = error $
   "expected pattern, but was given the non-canonical term " ++ show t
 
 weakenToTerm :: Pattern a -> Term a
-weakenToTerm p = (Pattern p)
+weakenToTerm = Pattern
 
 
 -- Pretty printing
diff --git a/src/TypeInferrer.hs b/src/TypeInferrer.hs
index 39abc56..3394975 100644
--- a/src/TypeInferrer.hs
+++ b/src/TypeInferrer.hs
@@ -128,7 +128,7 @@ annotate (Not t0 _) =
      t0' `hasType` Boolean'
      return $ Not t0' Boolean'
 
-annotate' :: (Pattern a) -> Annotation (Term Type)
+annotate' :: Pattern a -> Annotation (Term Type)
 annotate' (Variable  x _) =
   do env <- ask
      return $ Pattern $ Variable x $ env x