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
@@ -8,7 +8,7 @@
 
 import GHC.Tc.Types.Constraint (Ct)
 import GHC.Builtin.Types.Literals (
-	typeNatAddTyCon, typeNatSubTyCon) -- , typeNatLeqTyCon )
+	typeNatAddTyCon, typeNatSubTyCon, typeNatCmpTyCon) -- , typeNatLeqTyCon )
 import GHC.Builtin.Types (promotedFalseDataCon, promotedTrueDataCon)
 import GHC.Core.TyCo.Rep (Type(..), TyLit(..))
 import GHC.Types.Var (Var)
@@ -58,9 +58,9 @@
 -- exBool (TyConApp tc [l, r])
 --	| tc == typeNatLeqTyCon = (:<=) <$> exNum l <*> exNum r
 exBool (oc, cmp) (TyConApp tc [_,
-		TyConApp cmpNatTc [_, l, r],
+		TyConApp cmpNatTc [l, r],
 		TyConApp t1 [], TyConApp t2 [], TyConApp f1 []])
-	| tc == oc, cmpNatTc == cmp
+	| tc == oc, cmpNatTc == typeNatCmpTyCon
 	, t1 == promotedTrueDataCon, t2 == promotedTrueDataCon
 	, f1 == promotedFalseDataCon = (:<=) <$> exNum l <*> exNum r
 exBool _ t = throw . fromSDoc $ text "exBool: not boolean:" <+> ppr t
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
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: e2e0789fc40e15f06d431a711fa5db62d9d427d20e869202ae7f8e3cac3e5fb9
+-- hash: 9d3e7b7255f2ce97474e8b3dbff13024a62015ddc7be0b9dd257e53422ce1268
 
 name:           typecheck-plugin-nat-simple
-version:        0.1.0.5
+version:        0.1.0.6
 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
@@ -57,7 +57,7 @@
   build-depends:
       base >=4.7 && <5
     , containers
-    , ghc >=9.0.2
+    , ghc >=9.2.2
     , ghc-tcplugins-extra
   default-language: Haskell2010
 
@@ -72,7 +72,7 @@
   build-depends:
       base >=4.7 && <5
     , containers
-    , ghc >=9.0.2
+    , ghc >=9.2.2
     , ghc-tcplugins-extra
     , typecheck-plugin-nat-simple
   default-language: Haskell2010
@@ -88,7 +88,7 @@
   build-depends:
       base >=4.7 && <5
     , containers
-    , ghc >=9.0.2
+    , ghc >=9.2.2
     , ghc-tcplugins-extra
     , typecheck-plugin-nat-simple
   default-language: Haskell2010
@@ -104,7 +104,7 @@
   build-depends:
       base >=4.7 && <5
     , containers
-    , ghc >=9.0.2
+    , ghc >=9.2.2
     , ghc-tcplugins-extra
     , typecheck-plugin-nat-simple
   default-language: Haskell2010