diff --git a/Changelog.md b/Changelog.md
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 1.3.0.1
+
+* Supports GHC 9.8
+* Drops support for GHC <9
+
 ## 1.3.0.0
 
 * Supports GHC 9.6
diff --git a/src/Data/Type/Natural/Presburger/MinMaxSolver.hs b/src/Data/Type/Natural/Presburger/MinMaxSolver.hs
--- a/src/Data/Type/Natural/Presburger/MinMaxSolver.hs
+++ b/src/Data/Type/Natural/Presburger/MinMaxSolver.hs
@@ -10,7 +10,6 @@
 import GHC.TypeLits.Presburger.Compat
 import GHC.TypeLits.Presburger.Types
 
-#if MIN_VERSION_ghc(9,0,0)
 import GHC.Plugins
   ( Plugin,
     fsLit,
@@ -19,16 +18,6 @@
     splitTyConApp_maybe,
   )
 import GHC.Tc.Plugin
-#else
-import GhcPlugins
-  ( Plugin,
-    fsLit,
-    mkModuleName,
-    mkTcOcc,
-    splitTyConApp_maybe,
-  )
-import TcPluginM
-#endif
 
 plugin :: Plugin
 plugin =
diff --git a/type-natural.cabal b/type-natural.cabal
--- a/type-natural.cabal
+++ b/type-natural.cabal
@@ -1,16 +1,14 @@
-cabal-version: >=1.10
-name:          type-natural
-version:       1.3.0.0
-license:       BSD3
-license-file:  LICENSE
-copyright:     (C) Hiromi ISHII 2013-2023
-maintainer:    konn.jinro_at_gmail.com
-author:        Hiromi ISHII
-tested-with:
-  GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.7 || ==9.4.4 || ==9.6.1
-
-homepage:      https://github.com/konn/type-natural
-synopsis:      Type-level natural and proofs of their properties.
+cabal-version:      >=1.10
+name:               type-natural
+version:            1.3.0.1
+license:            BSD3
+license-file:       LICENSE
+copyright:          (C) Hiromi ISHII 2013-2023
+maintainer:         konn.jinro_at_gmail.com
+author:             Hiromi ISHII
+tested-with:        GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1
+homepage:           https://github.com/konn/type-natural
+synopsis:           Type-level natural and proofs of their properties.
 description:
   Type-level natural numbers and proofs of their properties.
   .
@@ -18,10 +16,9 @@
   .
   __Use 0.5.* with ~ GHC 7.10.3__.
 
-category:      Math
-build-type:    Simple
-extra-source-files:
-  Changelog.md
+category:           Math
+build-type:         Simple
+extra-source-files: Changelog.md
 
 source-repository head
   type:     git
@@ -58,7 +55,8 @@
     TypeOperators
     UndecidableInstances
 
-  ghc-options:        -Wall -fno-warn-orphans
+  default-extensions: NoStarIsType
+  ghc-options:        -Wall -Wno-orphans -Wno-redundant-constraints
   build-depends:
       base                       >=4       && <5
     , constraints                >=0.3
@@ -69,27 +67,27 @@
     , integer-logarithms
     , template-haskell           >=2.8
 
-  if impl(ghc >= 9.6)
-    build-depends: ghc-typelits-presburger >=0.7.2
+  if impl(ghc >=9.8)
+    build-depends: ghc-typelits-presburger >=0.7.3
+
   else
-    if impl(ghc >=9.4)
-      build-depends: ghc-typelits-presburger >=0.7.1
-    else
-      build-depends: ghc-typelits-presburger
+    if impl(ghc >=9.6)
+      build-depends: ghc-typelits-presburger >=0.7.2
 
-  if impl(ghc >=8.0.0)
-    ghc-options: -Wno-redundant-constraints
+    else
+      if impl(ghc >=9.4)
+        build-depends: ghc-typelits-presburger >=0.7.1
 
-  if impl(ghc >=8.6)
-    default-extensions: NoStarIsType
+      else
+        build-depends: ghc-typelits-presburger
 
 test-suite type-natural-test
-  type:             exitcode-stdio-1.0
-  main-is:          test.hs
-  build-tool-depends: tasty-discover:tasty-discover
-  hs-source-dirs:   tests
-  default-language: Haskell2010
-  ghc-options:      -Wall
+  type:               exitcode-stdio-1.0
+  main-is:            test.hs
+  build-tool-depends: tasty-discover:tasty-discover -any
+  hs-source-dirs:     tests
+  default-language:   Haskell2010
+  ghc-options:        -Wall
   other-modules:
     Data.Type.Natural.Lemma.OrderSpec
     Data.Type.Natural.Presburger.Cases
@@ -112,5 +110,4 @@
     , template-haskell
     , type-natural
 
-  if impl(ghc >=8.6)
-    default-extensions: NoStarIsType
+  default-extensions: NoStarIsType