diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,10 @@
 `th-desugar` release notes
 ==========================
 
+Version 1.13.1 [2022.05.20]
+---------------------------
+* Allow building with `mtl-2.3.*`.
+
 Version 1.13 [2021.10.30]
 -------------------------
 * Support GHC 9.2.
diff --git a/Language/Haskell/TH/Desugar/Core.hs b/Language/Haskell/TH/Desugar/Core.hs
--- a/Language/Haskell/TH/Desugar/Core.hs
+++ b/Language/Haskell/TH/Desugar/Core.hs
@@ -18,23 +18,27 @@
 import Language.Haskell.TH.Datatype.TyVarBndr
 import Language.Haskell.TH.Syntax hiding (lift)
 
-#if __GLASGOW_HASKELL__ < 709
-import Control.Applicative
-#endif
 import Control.Monad hiding (forM_, mapM)
 import qualified Control.Monad.Fail as Fail
+import Control.Monad.Trans (MonadTrans(..))
+import Control.Monad.Writer (MonadWriter(..), WriterT(..))
 import Control.Monad.Zip
-import Control.Monad.Writer hiding (forM_, mapM)
 import Data.Data (Data, Typeable)
 import Data.Either (lefts)
 import Data.Foldable as F hiding (concat, notElem)
-import Data.List.NonEmpty (NonEmpty(..))
 import qualified Data.Map as M
 import Data.Map (Map)
 import Data.Maybe (mapMaybe)
+import Data.Monoid (All(..))
 import qualified Data.Set as S
 import Data.Set (Set)
 import Data.Traversable
+
+#if __GLASGOW_HASKELL__ < 709
+import Control.Applicative
+import Data.Monoid (Monoid(..))
+#endif
+
 #if __GLASGOW_HASKELL__ > 710
 import Data.Maybe (isJust)
 #endif
@@ -52,6 +56,7 @@
 #endif
 
 #if __GLASGOW_HASKELL__ >= 902
+import Data.List.NonEmpty (NonEmpty(..))
 import GHC.Records (HasField(..))
 #endif
 
diff --git a/Test/Splices.hs b/Test/Splices.hs
--- a/Test/Splices.hs
+++ b/Test/Splices.hs
@@ -10,7 +10,7 @@
              DataKinds, PolyKinds, GADTs, MultiParamTypeClasses,
              FunctionalDependencies, FlexibleInstances, StandaloneDeriving,
              DefaultSignatures, ConstraintKinds, GADTs, ViewPatterns,
-             TupleSections, NoMonomorphismRestriction #-}
+             TupleSections, NoMonomorphismRestriction, TypeOperators #-}
 
 #if __GLASGOW_HASKELL__ >= 711
 {-# LANGUAGE TypeApplications #-}
diff --git a/th-desugar.cabal b/th-desugar.cabal
--- a/th-desugar.cabal
+++ b/th-desugar.cabal
@@ -1,5 +1,5 @@
 name:           th-desugar
-version:        1.13
+version:        1.13.1
 cabal-version:  >= 1.10
 synopsis:       Functions to desugar Template Haskell
 homepage:       https://github.com/goldfirere/th-desugar
@@ -20,8 +20,8 @@
               , GHC == 8.6.5
               , GHC == 8.8.4
               , GHC == 8.10.7
-              , GHC == 9.0.1
-              , GHC == 9.2.1
+              , GHC == 9.0.2
+              , GHC == 9.2.2
 description:
     This package provides the Language.Haskell.TH.Desugar module, which desugars
     Template Haskell's rich encoding of Haskell syntax into a simpler encoding.
@@ -49,7 +49,7 @@
       ghc-prim,
       template-haskell >= 2.9 && < 2.19,
       containers >= 0.5,
-      mtl >= 2.1,
+      mtl >= 2.1 && < 2.4,
       ordered-containers >= 0.2.2,
       syb >= 0.4,
       th-abstraction >= 0.4 && < 0.5,