diff --git a/sized.cabal b/sized.cabal
--- a/sized.cabal
+++ b/sized.cabal
@@ -1,11 +1,11 @@
 cabal-version: 2.0
 name:          sized
-version:       1.0.0.1
+version:       1.0.0.2
 license:       BSD3
 license-file:  LICENSE
 maintainer:    konn.jinro_at_gmail.com
 author:        Hiromi ISHII
-tested-with:   GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.3
+tested-with:   GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.5 || ==9.4.3
 synopsis:      Sized sequence data-types
 description:
   A wrapper to make length-parametrized data-type from functorial data-types.
@@ -42,6 +42,9 @@
     , these
     , type-natural             >=1.0
     , vector                   >=0.12
+
+  if impl(ghc >=9.4)
+    build-depends: ghc-typelits-presburger >=0.7.1
 
 test-suite optimisaion-test
   type:             exitcode-stdio-1.0
diff --git a/test/Shared.hs b/test/Shared.hs
--- a/test/Shared.hs
+++ b/test/Shared.hs
@@ -10,12 +10,13 @@
 inspecting :: String -> Obligation -> ExpQ
 inspecting title obl = inspectTest $ obl {testName = Just title}
 
-data GHCVer = GHC8_8 | GHC8_10 | GHC9_0 | GHC9_2
+data GHCVer = GHC8_8 | GHC8_10 | GHC9_0 | GHC9_2 | GHC9_4
   deriving (Show, Eq, Ord)
 
 ghcVer :: GHCVer
-
-#if __GLASGOW_HASKELL__ == 902
+#if __GLASGOW_HASKELL__ == 904
+ghcVer = GHC9_4
+#elif __GLASGOW_HASKELL__ == 902
 ghcVer = GHC9_2
 #elif __GLASGOW_HASKELL__ == 900
 ghcVer = GHC9_0