diff --git a/expresso.cabal b/expresso.cabal
--- a/expresso.cabal
+++ b/expresso.cabal
@@ -1,5 +1,5 @@
 Name:            expresso
-Version:         0.1.2.2
+Version:         0.1.2.3
 Cabal-Version:   >= 1.10
 License:         BSD3
 License-File:    LICENSE
@@ -37,12 +37,12 @@
                     containers           >= 0.5.11 && < 0.7,
                     directory            >= 1.3.1 && < 1.4,
                     filepath             >= 1.4.2 && < 1.5,
-                    hashable             >= 1.2.7 && < 1.3,
+                    hashable             >= 1.2.7 && < 1.4,
                     text                 >= 1.2.3 && < 1.3,
                     haskeline            >= 0.7.4 && < 0.8,
                     mtl                  >= 2.2.2 && < 2.3,
                     parsec               >= 3.1.13 && < 3.2,
-                    template-haskell     >= 2.13.0 && < 2.15,
+                    template-haskell     >= 2.13.0 && < 2.16,
                     unordered-containers >= 0.2.9 && < 0.3,
                     wl-pprint            >= 1.2.1 && < 1.3
 
diff --git a/src/Expresso/TH/QQ.hs b/src/Expresso/TH/QQ.hs
--- a/src/Expresso/TH/QQ.hs
+++ b/src/Expresso/TH/QQ.hs
@@ -35,14 +35,14 @@
 
 def :: QuasiQuoter
 def = QuasiQuoter
-    { quoteExp  = failure "expressions"
-    , quotePat  = failure "patterns"
-    , quoteType = failure "types"
-    , quoteDec  = failure "declarations"
+    { quoteExp  = err "expressions"
+    , quotePat  = err "patterns"
+    , quoteType = err "types"
+    , quoteDec  = err "declarations"
     }
   where
-    failure kind =
-        fail $ "This quasi-quoter does not support splicing " ++ kind
+    err kind =
+        error $ "This quasi-quoter does not support splicing " ++ kind
 
 genTypeAnn :: String -> ExpQ
 genTypeAnn str = do
diff --git a/src/Expresso/TypeCheck.hs b/src/Expresso/TypeCheck.hs
--- a/src/Expresso/TypeCheck.hs
+++ b/src/Expresso/TypeCheck.hs
@@ -41,7 +41,7 @@
 import qualified Data.Map as M
 import qualified Data.Set as S
 
-import Control.Applicative ((<$>))
+-- import Control.Applicative ((<$>))
 import Control.Monad.Except
 import Control.Monad.Reader
 import Control.Monad.State
diff --git a/src/Repl.hs b/src/Repl.hs
--- a/src/Repl.hs
+++ b/src/Repl.hs
@@ -15,7 +15,7 @@
 module Main where
 
 import Control.Applicative
-import Control.Monad (forM_)
+-- import Control.Monad (forM_)
 import Control.Monad.Except
 import Control.Monad.State.Strict
 import Data.Char