diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,7 @@
+# v1.1.2.3
+
+- Adds support for `ghc` 9.8 and 9.10, `base` 4.19 and 4.20, and `containers` 0.7.
+
 # v1.1.2.2
 
 - Adds support for `ghc` 9.6, `base` 4.18, and `transformers` 0.6.
diff --git a/benchmark/Bench/NonDet/NQueens.hs b/benchmark/Bench/NonDet/NQueens.hs
--- a/benchmark/Bench/NonDet/NQueens.hs
+++ b/benchmark/Bench/NonDet/NQueens.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-redundant-constraints #-}
+{-# OPTIONS_GHC -Wno-unused-imports #-}
 
 -- Based largely on the implementation by Sreekar Shastry,
 -- available at https://github.com/sshastry/queenslogic
diff --git a/fused-effects.cabal b/fused-effects.cabal
--- a/fused-effects.cabal
+++ b/fused-effects.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.2
 
 name:                fused-effects
-version:             1.1.2.2
+version:             1.1.2.3
 synopsis:            A fast, flexible, fused effect system.
 description:         A fast, flexible, fused effect system, à la Effect Handlers in Scope, Monad Transformers and Modular Algebraic Effects: What Binds Them Together, and Fusion for Free—Efficient Algebraic Effect Handlers.
 homepage:            https://github.com/fused-effects/fused-effects
@@ -27,6 +27,8 @@
   GHC == 9.2.1
   GHC == 9.4.2
   GHC == 9.6.2
+  GHC == 9.8.2
+  GHC == 9.10.1
 
 common common
   default-language: Haskell2010
@@ -56,6 +58,12 @@
   if (impl(ghc >= 9.6))
     ghc-options:
       -Wno-redundant-constraints
+  if (impl(ghc >= 9.8))
+    ghc-options:
+      -Wno-missing-role-annotations
+      -Wno-term-variable-capture
+      -Wno-x-partial
+      -Wno-missing-poly-kind-signatures  
 
 library
   import:         common
@@ -125,7 +133,7 @@
     Control.Effect.Throw.Internal
     Control.Effect.Writer.Internal
   build-depends:
-      base          >= 4.9 && < 4.19
+      base          >= 4.9 && < 4.21
     , transformers  >= 0.4 && < 0.7
     , unliftio-core >= 0.2 && < 0.3
 
@@ -145,7 +153,7 @@
   build-depends:
     , base
     , fused-effects
-    , hedgehog           >= 1 && < 1.3
+    , hedgehog           >= 1 && < 1.6
     , hedgehog-fn        ^>= 1
 
 
@@ -178,7 +186,7 @@
     Writer
   build-depends:
     , base
-    , containers          >= 0.5 && < 0.7
+    , containers          >= 0.5 && < 0.8
     , fused-effects
     , hedgehog
     , hedgehog-fn
diff --git a/src/Control/Carrier/Accum/Strict.hs b/src/Control/Carrier/Accum/Strict.hs
--- a/src/Control/Carrier/Accum/Strict.hs
+++ b/src/Control/Carrier/Accum/Strict.hs
@@ -10,7 +10,7 @@
 These appends are left-associative; as such, @[]@ is a poor choice of monoid for computations that entail many calls to 'tell'.
 The [Seq](http://hackage.haskell.org/package/containersdocs/Data-Sequence.html) or [DList](http://hackage.haskell.org/package/dlist) monoids may be a superior choice.
 
--- | @since 1.1.2.0
+@since 1.1.2.0
 -}
 
 module Control.Carrier.Accum.Strict
diff --git a/src/Control/Effect/Labelled.hs b/src/Control/Effect/Labelled.hs
--- a/src/Control/Effect/Labelled.hs
+++ b/src/Control/Effect/Labelled.hs
@@ -41,7 +41,7 @@
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
 import Data.Functor.Identity
-import Data.Kind (Type)
+import Data.Kind
 
 -- | An effect transformer turning effects into labelled effects, and a carrier transformer turning carriers into labelled carriers for the same (labelled) effects.
 --