diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog for `FailT`
 
+## 0.1.2.0
+
+* Compatiblity with mtl-2.3
+* Add `failManyT`
+
 ## 0.1.1.0
 
 * Remove unnecessary `IsString` constraint from instance definitions for GHC >= 8.10
diff --git a/FailT.cabal b/FailT.cabal
--- a/FailT.cabal
+++ b/FailT.cabal
@@ -1,5 +1,5 @@
 name:                FailT
-version:             0.1.1.0
+version:             0.1.2.0
 synopsis:            A 'FailT' monad transformer that plays well with 'MonadFail'
 description:
     Fail gracefully when stuck in a 'MonadFail'
@@ -13,7 +13,7 @@
     .
 
 
-homepage:            https://github.com/lehins/FailT
+homepage:             https://github.com/lehins/FailT
 license:              BSD3
 license-file:         LICENSE
 author:               Alexey Kuleshevich
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@
 |:--------------:|:---------:|:-------:|:-------:|:---:|
 | [![GA-CI][GA-B]][GA-L] | [![Coveralls][Co-B]][Co-L] | [![Hackage][Ha-B]][Ha-L] | [![Nightly][StN-B]][StN-L] | [![LTS][StLTS-B]][StLTS-L] |
 
-[GA-B]: https://github.com/lehins/FailT/workflows/FailT-CI/badge.svg
+[GA-B]: https://github.com/lehins/FailT/workflows/FailT-CI/badge.svg?branch=master
 [GA-L]: https://github.com/lehins/FailT/actions
 [Co-B]: https://coveralls.io/repos/github/lehins/FailT/badge.svg?branch=master
 [Co-L]: https://coveralls.io/github/lehins/FailT?branch=master
diff --git a/src/Control/Monad/Trans/Fail.hs b/src/Control/Monad/Trans/Fail.hs
--- a/src/Control/Monad/Trans/Fail.hs
+++ b/src/Control/Monad/Trans/Fail.hs
@@ -34,6 +34,7 @@
   FailT (..),
   FailException (..),
   failT,
+  failManyT,
   runFailT,
   runFailLastT,
   runFailAggT,
@@ -56,6 +57,9 @@
 import Control.Monad.Catch (MonadThrow (throwM))
 import Control.Monad.Cont
 import Control.Monad.Except
+#if MIN_VERSION_mtl(2,3,0)
+import Control.Monad.Fix
+#endif
 import qualified Control.Monad.Fail as F
 import Control.Monad.RWS.Class (MonadRWS)
 import Control.Monad.Reader
@@ -162,6 +166,16 @@
 -- | Similar to `fail`, but it is not restricted to `String`.
 failT :: Applicative m => e -> FailT e m a
 failT = FailT . pure . Left . pure
+{-# INLINE failT #-}
+
+-- | Similar to `failT`, but accepts a list of failures.
+--
+-- prop> runFailAgg (foldMap failT (xs :: [String])) == runFailAgg (failManyT xs)
+--
+-- @since 0.1.2
+failManyT :: Applicative m => [e] -> FailT e m a
+failManyT = FailT . pure . Left
+{-# INLINE failManyT #-}
 
 -- | Similar to `runFail`, except underlying monad is not restricted to `Identity`.
 --
diff --git a/src/Control/Monad/Trans/Fail/String.hs b/src/Control/Monad/Trans/Fail/String.hs
--- a/src/Control/Monad/Trans/Fail/String.hs
+++ b/src/Control/Monad/Trans/Fail/String.hs
@@ -23,6 +23,7 @@
   FailT,
   F.FailException (..),
   failT,
+  failManyT,
   runFailT,
   runFailLastT,
   runFailAggT,
@@ -88,6 +89,15 @@
 failT :: Applicative m => String -> FailT m a
 failT = F.failT
 {-# INLINE failT #-}
+
+-- | Version of `F.failManyT` restricted to `String`
+--
+-- prop> runFailAgg (foldMap failT xs) == runFailAgg (failManyT xs)
+--
+-- @since 0.1.2
+failManyT :: Applicative m => [String] -> FailT m a
+failManyT = F.failManyT
+{-# INLINE failManyT #-}
 
 -- | Version of `F.runFailT` restricted to `String`
 runFailT :: Functor m => FailT m a -> m (Either String a)
diff --git a/src/Control/Monad/Trans/Fail/Text.hs b/src/Control/Monad/Trans/Fail/Text.hs
--- a/src/Control/Monad/Trans/Fail/Text.hs
+++ b/src/Control/Monad/Trans/Fail/Text.hs
@@ -23,6 +23,7 @@
   FailT,
   F.FailException (..),
   failT,
+  failManyT,
   runFailT,
   runFailLastT,
   runFailAggT,
@@ -89,6 +90,13 @@
 failT :: Applicative m => Text -> FailT m a
 failT = F.failT
 {-# INLINE failT #-}
+
+-- | Version of `F.failManyT` restricted to `Text`
+--
+-- @since 0.1.2
+failManyT :: Applicative m => [Text] -> FailT m a
+failManyT = F.failManyT
+{-# INLINE failManyT #-}
 
 -- | Version of `F.runFailT` restricted to `Text`
 runFailT :: Functor m => FailT m a -> m (Either Text a)