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.3 *March 20th 2026*
+* Unfix -fdefer-type-errors regression as it caused more regressions
+
 ## 0.8.2 *October 17th 2025*
 * Fix -fdefer-type-errors regression
 
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.2
+version:             0.8.3
 synopsis:            Derive KnownNat constraints from other KnownNat constraints
 description:
   A type checker plugin for GHC that can derive \"complex\" @KnownNat@
@@ -51,7 +51,7 @@
                                  2017     , Google Inc.
 category:            Type System
 build-type:          Simple
-extra-source-files:  README.md
+extra-doc-files:     README.md
                      CHANGELOG.md
 tested-with:         GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8,
                      GHC == 9.4.8, GHC == 9.6.6, GHC == 9.8.4, GHC == 9.10.1,
diff --git a/src/GHC/TypeLits/KnownNat.hs b/src/GHC/TypeLits/KnownNat.hs
--- a/src/GHC/TypeLits/KnownNat.hs
+++ b/src/GHC/TypeLits/KnownNat.hs
@@ -134,10 +134,6 @@
   ( If )
 import GHC.Exts
   ( Proxy# )
-#if __GLASGOW_HASKELL__ >= 904
-import GHC.Exts
-  ( Constraint )
-#endif
 import GHC.TypeLits
   ( Symbol )
 import GHC.TypeNats
@@ -210,11 +206,7 @@
   {-# NOINLINE natSing2 #-}
 
 -- | 'KnownNat2' instance for "GHC.TypeLits"' 'GHC.TypeLits.-'
-#if __GLASGOW_HASKELL__ >= 904
-instance (KnownNat a, KnownNat b, (b <= a) ~ (() :: Constraint)) => KnownNat2 $(nameToSymbol ''(-)) a b where
-#else
 instance (KnownNat a, KnownNat b, b <= a) => KnownNat2 $(nameToSymbol ''(-)) a b where
-#endif
   natSing2 = SNatKn (natVal (Proxy @a) - natVal (Proxy @b))
   {-# NOINLINE natSing2 #-}