diff --git a/src/Plugin/TypeCheck/Nat/Simple/Decode.hs b/src/Plugin/TypeCheck/Nat/Simple/Decode.hs
--- a/src/Plugin/TypeCheck/Nat/Simple/Decode.hs
+++ b/src/Plugin/TypeCheck/Nat/Simple/Decode.hs
@@ -79,7 +79,7 @@
 	(,) <$> look md2 "OrdCond" <*> look md2 "Compare"
 
 ordModule :: ModuleName
-ordModule = mkModuleName "Data.Type.Ord"
+ordModule = mkModuleName "GHC.Internal.Data.Type.Ord"
 
 basePackage :: FastString
 basePackage = fsLit "base"
diff --git a/src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs b/src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs
--- a/src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs
+++ b/src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs
@@ -22,7 +22,7 @@
 	EqPred NomEq l r -> pure (l, r)
 	IrredPred pt -> case pt of
 		TyConApp (nameStableString . tyConName ->
-				"$base$GHC.TypeError$Assert") [c, _e] ->
+				"$ghc-internal$GHC.Internal.TypeError$Assert") [c, _e] ->
 			pure (c, TyConApp promotedTrueDataCon [])
 		_ -> throw . fromSDoc $ text "unNomEq: IrredPred" <+> ppr pt
 	_ -> throw . fromSDoc
diff --git a/typecheck-plugin-nat-simple.cabal b/typecheck-plugin-nat-simple.cabal
--- a/typecheck-plugin-nat-simple.cabal
+++ b/typecheck-plugin-nat-simple.cabal
@@ -1,13 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.35.1.
+-- This file has been generated from package.yaml by hpack version 0.37.0.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: a386dfeb25b891bd8c55323858f99e1f63f665d6c90dfc86b8eb6b4f78053dd6
 
 name:           typecheck-plugin-nat-simple
-version:        0.1.0.9
+version:        0.1.0.11
 synopsis:       Simple type check plugin which calculate addition, subtraction and less-or-equal-than
 description:    Please see the README on GitHub at <https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme>
 category:       Compiler Plugin
@@ -56,9 +54,10 @@
       src
   build-depends:
       base >=4.7 && <5
-    , containers
-    , ghc >=9.2.2
-    , ghc-tcplugins-extra
+    , containers <1
+    , ghc >=9.2.2 && <10
+    , ghc-internal <10
+    , ghc-tcplugins-extra <1
   default-language: Haskell2010
 
 test-suite typecheck-plugin-nat-simple-test-log
@@ -71,9 +70,10 @@
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , containers
-    , ghc >=9.2.2
-    , ghc-tcplugins-extra
+    , containers <1
+    , ghc >=9.2.2 && <10
+    , ghc-internal <10
+    , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple
   default-language: Haskell2010
 
@@ -87,9 +87,10 @@
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , containers
-    , ghc >=9.2.2
-    , ghc-tcplugins-extra
+    , containers <1
+    , ghc >=9.2.2 && <10
+    , ghc-internal <10
+    , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple
   default-language: Haskell2010
 
@@ -103,8 +104,9 @@
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , containers
-    , ghc >=9.2.2
-    , ghc-tcplugins-extra
+    , containers <1
+    , ghc >=9.2.2 && <10
+    , ghc-internal <10
+    , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple
   default-language: Haskell2010