diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,7 @@
+# v1.1.1.2
+
+- Adds support for `ghc` 9.2.1 and `base` 4.16.
+
 # v1.1.1.1
 
 - Adds support for `ghc` 9.0 & `base` 4.15.
diff --git a/README.lhs b/README.lhs
--- a/README.lhs
+++ b/README.lhs
@@ -1,6 +1,6 @@
 # A fast, flexible, fused effect system for Haskell
 
-[![Build Status](https://action-badges.now.sh/fused-effects/fused-effects)](https://github.com/fused-effects/fused-effects/actions) [![hackage](https://img.shields.io/hackage/v/fused-effects.svg?color=blue&style=popout)](http://hackage.haskell.org/package/fused-effects)
+[![Build Status](https://github.com/fused-effects/fused-effects/actions/workflows/ci.yml/badge.svg)](https://github.com/fused-effects/fused-effects/actions) [![hackage](https://img.shields.io/hackage/v/fused-effects.svg?color=blue&style=popout)](http://hackage.haskell.org/package/fused-effects)
 
 - [Overview][]
   - [Algebraic effects][]
@@ -194,7 +194,9 @@
 
 [common]: https://github.com/fused-effects/fused-effects/blob/master/docs/common_errors.md
 
-The following invocation, taken from the teletype example, should suffice for most use or construction of effects and carriers:
+The following invocation, taken from the [teletype example][], should suffice for most use or construction of effects and carriers:
+
+[teletype example]: https://github.com/fused-effects/fused-effects/blob/master/examples/Teletype.hs
 
 ```haskell
 {-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # A fast, flexible, fused effect system for Haskell
 
-[![Build Status](https://action-badges.now.sh/fused-effects/fused-effects)](https://github.com/fused-effects/fused-effects/actions) [![hackage](https://img.shields.io/hackage/v/fused-effects.svg?color=blue&style=popout)](http://hackage.haskell.org/package/fused-effects)
+[![Build Status](https://github.com/fused-effects/fused-effects/actions/workflows/ci.yml/badge.svg)](https://github.com/fused-effects/fused-effects/actions) [![hackage](https://img.shields.io/hackage/v/fused-effects.svg?color=blue&style=popout)](http://hackage.haskell.org/package/fused-effects)
 
 - [Overview][]
   - [Algebraic effects][]
@@ -194,7 +194,9 @@
 
 [common]: https://github.com/fused-effects/fused-effects/blob/master/docs/common_errors.md
 
-The following invocation, taken from the teletype example, should suffice for most use or construction of effects and carriers:
+The following invocation, taken from the [teletype example][], should suffice for most use or construction of effects and carriers:
+
+[teletype example]: https://github.com/fused-effects/fused-effects/blob/master/examples/Teletype.hs
 
 ```haskell
 {-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
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
@@ -28,8 +28,8 @@
 diags :: Square -> [Diagonal]
 diags (i,j) = [ Row i
               , Col j
-              , Backslash (j-i)
-              , Forwardslash (i+j) ]
+              , Backslash (j - i)
+              , Forwardslash (i + j) ]
 
 isSafeIn :: Square -> Board -> Bool
 isSafeIn (i, j) qs = null (diags (i, j) `List.intersect` underThreat)
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.1.1
+version:             1.1.1.2
 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
@@ -23,6 +23,7 @@
   GHC == 8.8.4
   GHC == 8.10.4
   GHC == 9.0.1
+  GHC == 9.2.1
 
 common common
   default-language: Haskell2010
@@ -43,6 +44,9 @@
     ghc-options:
       -Wno-missing-safe-haskell-mode
       -Wno-prepositive-qualified-module
+  if (impl(ghc >= 9.2))
+    ghc-options:
+      -Wno-missing-kind-signatures
 
 library
   import:         common
@@ -106,7 +110,7 @@
     Control.Effect.Throw.Internal
     Control.Effect.Writer.Internal
   build-depends:
-      base          >= 4.9 && < 4.16
+      base          >= 4.9 && < 4.17
     , transformers  >= 0.4 && < 0.6
 
 
@@ -125,7 +129,7 @@
   build-depends:
     , base
     , fused-effects
-    , hedgehog           ^>= 1
+    , hedgehog           >= 1 && < 1.2
     , hedgehog-fn        ^>= 1
 
 
@@ -159,8 +163,8 @@
     , base
     , containers          >= 0.5 && < 0.7
     , fused-effects
-    , hedgehog           ^>= 1
-    , hedgehog-fn        ^>= 1
+    , hedgehog
+    , hedgehog-fn
     , inspection-testing ^>= 0.4
     , transformers
 
diff --git a/src/Control/Carrier/Trace/Returning.hs b/src/Control/Carrier/Trace/Returning.hs
--- a/src/Control/Carrier/Trace/Returning.hs
+++ b/src/Control/Carrier/Trace/Returning.hs
@@ -39,7 +39,7 @@
 --
 -- @since 1.0.0.0
 runTrace :: Functor m => TraceC m a -> m ([String], a)
-runTrace (TraceC m) = first (($[]) . appEndo) <$> runWriter m
+runTrace (TraceC m) = first (($ []) . appEndo) <$> runWriter m
 {-# INLINE runTrace #-}
 
 -- | @since 1.0.0.0
diff --git a/src/Control/Effect/Sum.hs b/src/Control/Effect/Sum.hs
--- a/src/Control/Effect/Sum.hs
+++ b/src/Control/Effect/Sum.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE DeriveTraversable #-}
+{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
diff --git a/test/Gen.hs b/test/Gen.hs
--- a/test/Gen.hs
+++ b/test/Gen.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE GADTs #-}
@@ -89,7 +90,7 @@
 import           GHC.Generics ((:.:)(..))
 import           GHC.Stack
 import           GHC.TypeLits
-import           Hedgehog
+import           Hedgehog hiding (Rec (..))
 import qualified Hedgehog.Function as Fn
 import           Hedgehog.Gen as Hedgehog
 import           Hedgehog.Range