diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,9 @@
 
 ## Upcoming
 
+## 0.2.3.0 -- 2023-08-03
+* Add support for GHC 9.6
+
 ## 0.2.2.0 -- 2023-06-26
 
 * Adds `co-log` example.
diff --git a/monoidal-functors.cabal b/monoidal-functors.cabal
--- a/monoidal-functors.cabal
+++ b/monoidal-functors.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.4
 name:                monoidal-functors
 category:            Control, Categories
-version:             0.2.2.0
+version:             0.2.3.0
 license:             MIT
 license-file:        LICENSE
 author:              Solomon Bothwell & Asad Saeeduddin
@@ -12,6 +12,11 @@
 build-type:          Simple
 extra-source-files:  CHANGELOG.md
 description:         A typeclass hierarchy for monoidal functors.
+tested-with:   GHC == 8.10.7
+             , GHC == 9.0.2
+             , GHC == 9.2.4
+             , GHC == 9.4.5
+             , GHC == 9.6.2
 source-repository head
   type:     git
   location: https://github.com/solomon-b/monoidal-functors
@@ -47,18 +52,18 @@
 library
   import: common-extensions
   build-depends:
-    base                          >= 4.12 && < 4.18,
-    bifunctors                    >= 5.6.1 && < 5.7,
+    base                          >= 4.12 && < 5,
+    bifunctors                    >= 5.6.1 && < 6,
     tagged                        >= 0.8.7 && < 0.9,
-    transformers                  >= 0.5.6 && <= 0.6.1.0,
-    comonad                       >= 5.0.8 && < 5.1,
+    transformers                  >= 0.5.6 && < 0.7,
+    comonad                       >= 5.0.8 && < 6,
     distributive                  >= 0.6.2 && < 0.7,
     contravariant                 >= 1.5.5 && < 1.6,
     profunctors                   >= 5.6.2 && < 5.7,
     semialign                     >= 1.3 && < 1.4,
     semigroupoids                 >= 6.0.0 && < 6.1,
     these                         >= 1.2 && < 1.3,
-    mtl                           >= 2.2.2 && <= 2.3.1,
+    mtl                           >= 2.2.2 && < 2.4,
 
   exposed-modules:
     Control.Category.Tensor
