diff --git a/library/ListT.hs b/library/ListT.hs
--- a/library/ListT.hs
+++ b/library/ListT.hs
@@ -90,6 +90,10 @@
           Just (h1, t1) ->
             uncons $ k2 h1 <> (t1 >>= k2)
 
+instance Monad m => MonadFail (ListT m) where
+  fail _ =
+    inline mempty
+
 instance Monad m => MonadPlus (ListT m) where
   mzero = 
     inline mempty
diff --git a/library/ListT/Prelude.hs b/library/ListT/Prelude.hs
--- a/library/ListT/Prelude.hs
+++ b/library/ListT/Prelude.hs
@@ -9,9 +9,10 @@
 import Control.Category as Exports
 import Control.Concurrent as Exports
 import Control.Exception as Exports
-import Control.Monad as Exports hiding (mapM_, sequence_, forM_, msum, mapM, sequence, forM)
+import Control.Monad as Exports hiding (mapM_, sequence_, forM_, msum, mapM, sequence, forM, fail)
 import Control.Monad.Base as Exports
 import Control.Monad.Error.Class as Exports
+import Control.Monad.Fail as Exports
 import Control.Monad.Fix as Exports hiding (fix)
 import Control.Monad.IO.Class as Exports
 import Control.Monad.Morph as Exports hiding (MonadTrans(..))
@@ -59,7 +60,7 @@
 import GHC.Generics as Exports (Generic)
 import GHC.IO.Exception as Exports
 import Numeric as Exports
-import Prelude as Exports hiding (concat, foldr, mapM_, sequence_, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, mapM, sequence, id, (.))
+import Prelude as Exports hiding (fail, concat, foldr, mapM_, sequence_, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, mapM, sequence, id, (.))
 import System.Environment as Exports
 import System.Exit as Exports
 import System.IO as Exports (Handle, hClose)
diff --git a/list-t.cabal b/list-t.cabal
--- a/list-t.cabal
+++ b/list-t.cabal
@@ -1,7 +1,7 @@
 name:
   list-t
 version:
-  1.0.1
+  1.0.2
 synopsis:
   ListT done right
 description:
@@ -49,7 +49,7 @@
     mtl == 2.*,
     transformers-base == 0.4.*,
     transformers >= 0.3 && < 0.6,
-    base < 5
+    base >= 4.9 && < 5
   if !impl(ghc >= 8.0)
     build-depends:
       semigroups >= 0.11 && < 0.19