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
@@ -6,7 +6,7 @@
 	-- * DECODE CT
 	decodeAll, decode ) where
 
-import TcRnTypes (Ct)
+import Constraint (Ct)
 import TcTypeNats (typeNatAddTyCon, typeNatSubTyCon, typeNatLeqTyCon)
 import TysWiredIn (promotedFalseDataCon, promotedTrueDataCon)
 import TyCoRep (Type(..), TyLit(..))
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
@@ -9,7 +9,8 @@
 	Plugin(..), defaultPlugin, Expr(..), mkUnivCo, Role(..),
 	Outputable, ppr, text )
 import TcPluginM (TcPluginM, tcPluginTrace)
-import TcRnTypes (TcPlugin(..), Ct, TcPluginResult(..))
+import TcRnTypes (TcPlugin(..), TcPluginResult(..))
+import Constraint (Ct)
 import TcEvidence (EvTerm(..))
 import TyCoRep (UnivCoProvenance(..))
 import Control.Monad.Try (Try, gatherSuccess, throw, Set)
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
@@ -3,8 +3,9 @@
 
 module Plugin.TypeCheck.Nat.Simple.UnNomEq (unNomEq) where
 
-import TcRnTypes (Ct, ctEvidence, ctEvPred)
-import Type (Type, PredTree(..), EqRel(..), classifyPredType)
+import Constraint (Ct, ctEvidence, ctEvPred)
+import Type (Type)
+import Predicate(Pred(..), EqRel(..), classifyPredType)
 import Outputable (ppr, text, (<+>))
 import Control.Monad.Try (Try, throw)
 import Data.Log (IsSDoc, 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
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 37e93024d7892b53d4f73b5eaf1a2fd50b85d7b7ccf19998c52119e2bfdee1b8
+-- hash: 47d50fd8bbf70a48e28fb7db828acf874d42733c496f3201d43f2d9868c578f6
 
 name:           typecheck-plugin-nat-simple
-version:        0.1.0.0
+version:        0.1.0.1
 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