diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+Version 1.5.5.1
+---------------
+* Bumped the upper bound of the `template-haskell` dependency.
+
 Version 1.5.5
 ---------------
 * Added `Rank2.coerce`
diff --git a/rank2classes.cabal b/rank2classes.cabal
--- a/rank2classes.cabal
+++ b/rank2classes.cabal
@@ -1,5 +1,5 @@
 name:                rank2classes
-version:             1.5.5
+version:             1.5.5.1
 synopsis:            standard type constructor class hierarchy, only with methods of rank 2 types
 description:
   A mirror image of the standard type constructor class hierarchy rooted in 'Functor', except with methods of rank 2
@@ -39,7 +39,7 @@
                        data-functor-logistic < 0.1
 
   if flag(use-template-haskell)
-    build-depends: template-haskell >= 2.11 && < 2.24
+    build-depends: template-haskell >= 2.11 && < 2.25
     exposed-modules: Rank2.TH
 
 library doctests
diff --git a/test/TH.hs b/test/TH.hs
--- a/test/TH.hs
+++ b/test/TH.hs
@@ -2,6 +2,7 @@
 
 import Control.Applicative (liftA2)
 import Data.Foldable (fold, foldMap)
+import Data.Kind (Type)
 import Data.Traversable (traverse)
 import Data.Distributive (cotraverse)
 import Data.Monoid (Dual, Sum(Sum), getDual)
@@ -14,7 +15,7 @@
 import Test.Tasty
 import Test.Tasty.HUnit
 
-data Test0 (p :: * -> *) = Test0{} deriving (Eq, Show)
+data Test0 (p :: Type -> Type) = Test0{} deriving (Eq, Show)
 
 data Test1 p = Test1{single     :: p Int,
                      whole      :: Test0 p,