diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,10 @@
 `fused-effects-optics` uses [PVP Versioning][1].
 The changelog is available [on GitHub][2].
 
+## 0.3.0.0
+
+* Specify ordering of `modifying` type variables (thanks @)
+
 ## 0.2.1.0
 
 * GHC 9.2 support.
diff --git a/fused-effects-optics.cabal b/fused-effects-optics.cabal
--- a/fused-effects-optics.cabal
+++ b/fused-effects-optics.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                fused-effects-optics
-version:             0.2.1.0
+version:             0.3.0.0
 synopsis:            Bridge between the optics and fused-effects ecosystems.
 description:         Provides combinators for the optics-based manipulation of state and context types provided by the fused-effects library, similar to those provided by optics-extra for mtl-based monad transformers.
 homepage:            https://github.com/fused-effects/fused-effects-optics
@@ -9,7 +9,7 @@
 license-file:        LICENSE
 author:              Patrick Thomson
 maintainer:          patrick.william.thomson@gmail.com
-copyright:           2020-2021 Patrick Thomson
+copyright:           2020-2025 Patrick Thomson
 category:            Control
 build-type:          Simple
 extra-doc-files:     README.md
@@ -18,6 +18,7 @@
                      GHC == 8.10.1
                      GHC == 9.0
                      GHC == 9.2
+                     GHC == 9.12
 
 source-repository head
   type:                git
diff --git a/src/Control/Effect/Optics.hs b/src/Control/Effect/Optics.hs
--- a/src/Control/Effect/Optics.hs
+++ b/src/Control/Effect/Optics.hs
@@ -119,6 +119,7 @@
 -- | Map over the target(s) of an 'Optic' in our monadic state.
 -- The action and the optic operation are applied strictly.
 modifying ::
+  forall s a b m sig k is.
   ( Is k A_Setter,
     Has (State.State s) sig m
   ) =>