diff --git a/Changelog.md b/Changelog.md
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,3 +1,10 @@
+## 1.4.0 -- 2023-03-26
+
+* Build with GHC 9.6
+* Build with `free-5.2`
+* Remove instances for `ListT`, as this type is deprecated and removed from `transformers-0.6`.
+* Remove instances for `ErrorT`, as this type is deprecated and removed from `transformers-0.6`.
+
 ## 1.3.13 -- 2022-02-20
 
 ### Other changes
diff --git a/logging-effect.cabal b/logging-effect.cabal
--- a/logging-effect.cabal
+++ b/logging-effect.cabal
@@ -1,5 +1,5 @@
 name: logging-effect
-version: 1.3.13
+version: 1.4.0
 synopsis: A mtl-style monad transformer for general purpose & compositional logging
 homepage: https://github.com/ocharles/logging-effect
 license: BSD3
@@ -13,14 +13,14 @@
 library
   exposed-modules:     Control.Monad.Log
   other-extensions:    ViewPatterns, OverloadedStrings, GeneralizedNewtypeDeriving, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies, PatternSynonyms
-  build-depends:       base >=4.8 && <4.17
+  build-depends:       base >=4.8 && <4.19
                      , async >=2.0 && <2.3
-                     , transformers >=0.4 && <0.6
-                     , text >=1.2 && <1.3
+                     , transformers >=0.4 && <0.7
+                     , text >=1.2 && <2.1
                      , time >=1.5 && <1.13
-                     , mtl >= 2.2.1 && <2.3
+                     , mtl >= 2.2.1 && <2.4
                      , exceptions >= 0.8.0.2 && <0.11
-                     , free >= 4.12.1 && < 5.2
+                     , free >= 4.12.1 && < 5.3
                      , stm >= 2.4.4.1 && < 2.6
                      , stm-delay >= 0.1.1.1 && < 0.2
                      , prettyprinter >= 1.2 && < 1.8
diff --git a/src/Control/Monad/Log.hs b/src/Control/Monad/Log.hs
--- a/src/Control/Monad/Log.hs
+++ b/src/Control/Monad/Log.hs
@@ -118,11 +118,9 @@
 import qualified Control.Monad.Trans.Writer.Strict as StrictWriter
 import qualified Control.Monad.Trans.Maybe as Maybe
 import qualified Control.Monad.Trans.Except as Except
-import qualified Control.Monad.Trans.Error as Error
 import qualified Control.Monad.Trans.RWS.Lazy as LazyRWS
 import qualified Control.Monad.Trans.RWS.Strict as StrictRWS
 import qualified Control.Monad.Trans.Cont as Cont
-import qualified Control.Monad.Trans.List as List
 import qualified Control.Monad.Trans.Free as Free
 import qualified Control.Monad.Trans.Free.Church as Free
 import qualified Control.Monad.Catch.Pure as Exceptions
@@ -185,11 +183,9 @@
 instance (Monoid w, MonadLog message m) => MonadLog message (LazyWriter.WriterT w m)
 instance MonadLog message m => MonadLog message (Maybe.MaybeT m)
 instance MonadLog message m => MonadLog message (Except.ExceptT e m)
-instance (Error.Error e, MonadLog message m) => MonadLog message (Error.ErrorT e m)
 instance (Monoid w, MonadLog message m) => MonadLog message (StrictRWS.RWST r w s m)
 instance (Monoid w, MonadLog message m) => MonadLog message (LazyRWS.RWST r w s m)
 instance MonadLog message m => MonadLog message (Cont.ContT r m)
-instance MonadLog message m => MonadLog message (List.ListT m)
 instance (Functor f, MonadLog message m) => MonadLog message (Free.FreeT f m)
 instance (Functor f, MonadLog message m) => MonadLog message (Free.FT f m)
 instance MonadLog message m => MonadLog message (Exceptions.CatchT m)