diff --git a/Changelog.md b/Changelog.md
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.7.4.1
+
+* Supports GHC 9.8.4
+
 ## 0.7.4.0
 
 * Supports GHC 9.10
diff --git a/ghc-typelits-presburger.cabal b/ghc-typelits-presburger.cabal
--- a/ghc-typelits-presburger.cabal
+++ b/ghc-typelits-presburger.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: f52bad218d1394e10b8a760cdc99d47bb03d4ea2f2949d4afcf3da8711c53c60
+-- hash: f62c6305d38380eb4cc8063c8e4c4b0056c9bcb01d01075789915680436a7263
 
 name:          ghc-typelits-presburger
-version:       0.7.4.0
+version:       0.7.4.1
 synopsis:      Presburger Arithmetic Solver for GHC Type-level natural numbers.
 description:   @ghc-typelits-presburger@ augments GHC type-system with Presburger
                Arithmetic Solver for Type-level natural numbers.
@@ -30,7 +30,7 @@
 license:       BSD3
 license-file:  LICENSE
 tested-with:
-    GHC==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.2 GHC==9.10.1
+    GHC==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.4 GHC==9.10.1
 extra-source-files:
     Changelog.md
 build-type:    Simple
@@ -59,7 +59,7 @@
   build-depends:
       base >=4.7 && <5
     , containers
-    , ghc <9.11
+    , ghc <9.13
     , ghc-tcplugins-extra >=0.2 && <0.5
     , mtl
     , pretty
diff --git a/src/GHC/TypeLits/Presburger/Compat.hs b/src/GHC/TypeLits/Presburger/Compat.hs
--- a/src/GHC/TypeLits/Presburger/Compat.hs
+++ b/src/GHC/TypeLits/Presburger/Compat.hs
@@ -9,13 +9,13 @@
 
 module GHC.TypeLits.Presburger.Compat (module GHC.TypeLits.Presburger.Compat) where
 
-import GHC.TypeLits.Presburger.Flags
 import Data.Coerce (coerce)
 import Data.Function (on)
 import Data.Functor ((<&>))
 import Data.Generics.Twins
-import qualified GHC.Types.Unique as Unique (getKey, Unique)
+import GHC.TypeLits.Presburger.Flags
 import GHC.Types.Unique as GHC.TypeLits.Presburger.Compat (Unique, getUnique)
+import qualified GHC.Types.Unique as Unique (Unique, getKey)
 #if MIN_VERSION_ghc(9,10,1)
 import GHC.Builtin.Names (gHC_INTERNAL_TYPENATS, gHC_INTERNAL_TYPEERROR)
 import GHC.Builtin.Names (mkGhcInternalModule)
@@ -203,7 +203,6 @@
 gHC_TYPEERROR = mkBaseModule "GHC.TypeLits"
 #endif
 
-
 type PredTree = Pred
 
 data TvSubst = TvSubst InScopeSet TvSubstEnv
@@ -519,15 +518,11 @@
 #endif
 
 getKey :: Unique.Unique -> Int
-#if MIN_VERSION_ghc(9,10,1)
 getKey = fromIntegral . Unique.getKey
-#else
-getKey = Unique.getKey
-#endif
 
 getVoidTyCon :: TcPluginM TyCon
 getVoidTyCon = tcLookupTyCon =<< lookupOrig aMod (mkTcOcc "Void")
-  where 
+  where
 #if MIN_VERSION_ghc(9,10,1)
     aMod = mkGhcInternalModule "GHC.Internal.Base"
 #elif MIN_VERSION_ghc(9,6,1)