diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Changelog for the [`ghc-typelits-knownnat`](http://hackage.haskell.org/package/ghc-typelits-knownnat) package
 
+## 0.8.4 *May 13th 2026*
+* Bump ghc-tcplugin-api to prepare for inclusion into stackage
+
 ## 0.8.3 *March 20th 2026*
 * Unfix -fdefer-type-errors regression as it caused more regressions
 
diff --git a/ghc-typelits-knownnat.cabal b/ghc-typelits-knownnat.cabal
--- a/ghc-typelits-knownnat.cabal
+++ b/ghc-typelits-knownnat.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                ghc-typelits-knownnat
-version:             0.8.3
+version:             0.8.4
 synopsis:            Derive KnownNat constraints from other KnownNat constraints
 description:
   A type checker plugin for GHC that can derive \"complex\" @KnownNat@
@@ -89,7 +89,7 @@
                        ViewPatterns
   build-depends:       base                      >= 4.9      && <5,
                        ghc                       >= 8.0.1    && <9.17,
-                       ghc-tcplugin-api          >= 0.18.1.0 && <0.19,
+                       ghc-tcplugin-api          >= 0.19     && <0.20,
                        ghc-typelits-natnormalise >= 0.9.0    && <0.10,
                        transformers              >= 0.5.2.0  && <0.7,
                        template-haskell          >= 2.11.0.0 && <2.26
diff --git a/src/GHC/TypeLits/KnownNat/Solver.hs b/src/GHC/TypeLits/KnownNat/Solver.hs
--- a/src/GHC/TypeLits/KnownNat/Solver.hs
+++ b/src/GHC/TypeLits/KnownNat/Solver.hs
@@ -286,10 +286,11 @@
 
 normalisePlugin :: TcPlugin
 normalisePlugin =
-  TcPlugin { tcPluginInit  = lookupKnownNatDefs
-           , tcPluginSolve = solveKnownNat
-           , tcPluginRewrite = const emptyUFM
-           , tcPluginStop  = const (return ())
+  TcPlugin { tcPluginInit     = lookupKnownNatDefs
+           , tcPluginSolve    = solveKnownNat
+           , tcPluginRewrite  = const emptyUFM
+           , tcPluginPostTc   = const (return ())
+           , tcPluginShutdown = const (return ())
            }
 
 solveKnownNat :: KnownNatDefs -> [Ct] -> [Ct]