diff --git a/src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs b/src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs
--- a/src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs
+++ b/src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs
@@ -49,4 +49,4 @@
 	bool (throw em) (pure (et l r, w)) =<< ck gs ds w
 	where
 	em = fromSDoc $ text "result: type checker: return False"
-	et = ((EvExpr . Coercion) .) . mkUnivCo (PluginProv hd) Nominal
+	et = ((EvExpr . Coercion) .) . mkUnivCo (PluginProv hd) [] Nominal
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,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.37.0.
+-- This file has been generated from package.yaml by hpack version 0.38.1.
 --
 -- see: https://github.com/sol/hpack
 
 name:           typecheck-plugin-nat-simple
-version:        0.1.0.11
+version:        0.1.0.12
 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
@@ -55,7 +55,7 @@
   build-depends:
       base >=4.7 && <5
     , containers <1
-    , ghc >=9.2.2 && <10
+    , ghc >=9.12 && <10
     , ghc-internal <10
     , ghc-tcplugins-extra <1
   default-language: Haskell2010
@@ -71,7 +71,7 @@
   build-depends:
       base >=4.7 && <5
     , containers <1
-    , ghc >=9.2.2 && <10
+    , ghc >=9.12 && <10
     , ghc-internal <10
     , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple
@@ -88,7 +88,7 @@
   build-depends:
       base >=4.7 && <5
     , containers <1
-    , ghc >=9.2.2 && <10
+    , ghc >=9.12 && <10
     , ghc-internal <10
     , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple
@@ -105,7 +105,7 @@
   build-depends:
       base >=4.7 && <5
     , containers <1
-    , ghc >=9.2.2 && <10
+    , ghc >=9.12 && <10
     , ghc-internal <10
     , ghc-tcplugins-extra <1
     , typecheck-plugin-nat-simple