diff --git a/morte.cabal b/morte.cabal
--- a/morte.cabal
+++ b/morte.cabal
@@ -1,5 +1,5 @@
 Name: morte
-Version: 1.7.1
+Version: 1.7.2
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 License: BSD3
@@ -36,10 +36,10 @@
         base                 >= 4        && < 5   ,
         array                >= 0.4.0.0  && < 0.6 ,
         binary               >= 0.7.0.0  && < 0.9 ,
-        containers           >= 0.5.0.0  && < 0.6 ,
+        containers           >= 0.5.0.0  && < 0.7 ,
         deepseq              >= 1.3.0    && < 1.5 ,
-        Earley               >= 0.10.1.0 && < 0.13,
-        http-client          >= 0.5.0    && < 0.6 ,
+        Earley               >= 0.10.1.0 && < 0.14,
+        http-client          >= 0.5.0    && < 0.7 ,
         http-client-tls      >= 0.2.0    && < 0.4 ,
         microlens            >= 0.2.0.0  && < 0.5 ,
         microlens-mtl        >= 0.1.3.1  && < 0.2 ,
@@ -63,7 +63,7 @@
     Main-Is: Main.hs
     Build-Depends:
         base                 >= 4     && < 5    ,
-        code-page            >= 0.1.1 && < 0.2  ,
+        code-page            >= 0.1.1 && < 0.3  ,
         formatting                              ,
         morte                                   ,
         optparse-applicative             < 0.15 ,
@@ -90,9 +90,9 @@
     Build-Depends:
         base             >= 4        && < 5   ,
         mtl              >= 2.2      && < 2.3 ,
-        QuickCheck       >= 2.8.1    && < 2.13,
+        QuickCheck       >= 2.8.1    && < 2.14,
         system-filepath  >= 0.3.1    && < 0.5 ,
-        tasty            >= 0.11     && < 1.2 ,
+        tasty            >= 0.11     && < 1.3 ,
         tasty-hunit      >= 0.9      && < 0.11,
         tasty-quickcheck >= 0.8.4    && < 0.11,
         transformers     >= 0.2.0.0  && < 0.6 ,
diff --git a/test/ClosedWellTyped.hs b/test/ClosedWellTyped.hs
--- a/test/ClosedWellTyped.hs
+++ b/test/ClosedWellTyped.hs
@@ -151,7 +151,7 @@
 app = do
     (_N, _A       ) <- scope termOrType
     let genA = return (_A, Const Star)
-    (f , Pi x _ _B) <- do
+    ~(f , Pi x _ _B) <- do
         scope
             (select
                 [ (40, lam genA termOrType  , moreThan 0              . uniques )