haskellPackages.ghc-typelits-natnormalise: restrict to < 0.8

pkgs/development/haskell-modules/configuration-common.nix

@@ -2885,6 +2885,15 @@ with haskellLib;
     dontCheck
   ];
 
+  # 2025-09-16: 0.5 adds support for GHC 9.12 and doesn't actually seem to contain a
+  # breaking change, so we can upgrade beyond Stackage.
+  # https://github.com/clash-lang/ghc-tcplugins-extra/pull/29#issuecomment-3299008674
+  # https://github.com/clash-lang/ghc-tcplugins-extra/compare/702dda2095c66c4f5148a749c8b7dbcc8a09f5c...v0.5.0
+  ghc-tcplugins-extra = doDistribute self.ghc-tcplugins-extra_0_5;
+  # 2025-09-11: Tests have been fixed in 0.7.12, but it requests ghc-tcplugins-extra >= 0.5
+  # which Stackage LTS won't update to, but we can.
+  ghc-typelits-natnormalise = doDistribute self.ghc-typelits-natnormalise_0_7_12;
+
   # Test files missing from sdist
   # https://github.com/tweag/webauthn/issues/166
   webauthn = dontCheck super.webauthn;

pkgs/development/haskell-modules/configuration-ghc-9.10.x.nix

@@ -74,9 +74,6 @@ in
   # Upgrade to accommodate new core library versions, where the authors have
   # already made the relevant changes.
 
-  # 2025-09-11: Tests fail, were fixed in 0.7.12, but Stackage is still at 0.7.10.
-  ghc-typelits-natnormalise = doDistribute self.ghc-typelits-natnormalise_0_8_0;
-
   #
   # Jailbreaks
   #

pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml

@@ -79,6 +79,7 @@ extra-packages:
   - ghc-tags == 1.5.*                   # 2023-02-18: preserve for ghc-lib == 9.2.*
   - ghc-tags == 1.7.*                   # 2023-02-18: preserve for ghc-lib == 9.6.*
   - ghc-tags == 1.8.*                   # 2023-02-18: preserve for ghc-lib == 9.8.*
+  - ghc-typelits-natnormalise < 0.8     # 2025-09-15: Stackage is stuck at 0.7.10
   - happy == 1.20.*                     # for ghc-lib-parser == 9.6.*
   - hashable < 1.5                      # 2025-07-30: hashable >= 1.5 requires GHC >= 9.6
   - hasql < 1.7                         # 2025-01-19: Needed for building postgrest