diff --git a/Control/Exception/Lifted.hs b/Control/Exception/Lifted.hs
--- a/Control/Exception/Lifted.hs
+++ b/Control/Exception/Lifted.hs
@@ -3,6 +3,7 @@
            , NoImplicitPrelude
            , ExistentialQuantification
            , FlexibleContexts
+           , ImpredicativeTypes
   #-}
 
 #if MIN_VERSION_base(4,3,0)
diff --git a/lifted-base.cabal b/lifted-base.cabal
--- a/lifted-base.cabal
+++ b/lifted-base.cabal
@@ -1,5 +1,5 @@
 Name:                lifted-base
-Version:             0.2.0.3
+Version:             0.2.0.4
 Synopsis:            lifted IO operations from the base library
 License:             BSD3
 License-file:        LICENSE
@@ -46,7 +46,7 @@
                    Control.Concurrent.QSemN.Lifted
                    Control.Concurrent.SampleVar.Lifted
 
-  Build-depends: base                 >= 3     && < 4.7
+  Build-depends: base                 >= 3     && < 5
                , base-unicode-symbols >= 0.1.1 && < 0.3
                , transformers-base    >= 0.4   && < 0.5
                , monad-control        >= 0.3   && < 0.4
@@ -64,7 +64,7 @@
   hs-source-dirs: test
 
   build-depends: lifted-base
-               , base                 >= 3     && < 4.7
+               , base                 >= 3     && < 5
                , transformers         >= 0.2   && < 0.4
                , transformers-base    >= 0.4   && < 0.5
                , monad-control        >= 0.3   && < 0.4
@@ -87,7 +87,7 @@
   ghc-options:    -O2
 
   build-depends: lifted-base
-               , base          >= 3   && < 4.7
+               , base          >= 3   && < 5
                , transformers  >= 0.2 && < 0.4
                , criterion     >= 0.5 && < 0.7
                , monad-control >= 0.3 && < 0.4