diff --git a/product-isomorphic.cabal b/product-isomorphic.cabal
--- a/product-isomorphic.cabal
+++ b/product-isomorphic.cabal
@@ -1,5 +1,5 @@
 name:                product-isomorphic
-version:             0.0.3.3
+version:             0.0.3.4
 synopsis:            Weaken applicative functor on products
 description:         Weaken applicative functor which allows only product
                      construction. Product constructions and deconstructions
@@ -9,12 +9,19 @@
 license-file:        LICENSE
 author:              Kei Hibino
 maintainer:          ex8k.hibino@gmail.com
-copyright:           Copyright (c) 2017 Kei Hibino
+copyright:           Copyright (c) 2017-2023 Kei Hibino
 category:            Data
 build-type:          Simple
 -- extra-source-files:
 cabal-version:       >=1.10
-tested-with:           GHC == 8.4.1, GHC == 8.4.2, GHC == 8.4.3
+tested-with:           GHC == 9.6.2
+                     , GHC == 9.4.6
+                     , GHC == 9.2.8
+                     , GHC == 9.0.2
+                     , GHC == 8.10.1
+                     , GHC == 8.8.1, GHC == 8.8.2, GHC == 8.8.3
+                     , GHC == 8.6.1, GHC == 8.6.2, GHC == 8.6.3, GHC == 8.6.4, GHC == 8.6.5
+                     , GHC == 8.4.1, GHC == 8.4.2, GHC == 8.4.3, GHC == 8.4.4
                      , GHC == 8.2.1, GHC == 8.2.2
                      , GHC == 8.0.1, GHC == 8.0.2
                      , GHC == 7.10.1, GHC == 7.10.2, GHC == 7.10.3
@@ -38,7 +45,7 @@
 
   build-depends:       base >=4.5 && <5
                      , template-haskell
-                     , th-data-compat
+                     , th-data-compat >= 0.1.3
   if impl(ghc == 7.4.*)
     build-depends:        ghc-prim == 0.2.*
   hs-source-dirs:      src
diff --git a/src/Data/Functor/ProductIsomorphic/TH/Internal.hs b/src/Data/Functor/ProductIsomorphic/TH/Internal.hs
--- a/src/Data/Functor/ProductIsomorphic/TH/Internal.hs
+++ b/src/Data/Functor/ProductIsomorphic/TH/Internal.hs
@@ -21,8 +21,8 @@
 import Language.Haskell.TH
   (Q, Name, tupleTypeName, Info (..), reify,
    TypeQ, arrowT, appT, conT, varT,
-   Dec, ExpQ, conE, Con (..), TyVarBndr (..), nameBase,)
-import Language.Haskell.TH.Compat.Data (unDataD, unNewtypeD)
+   Dec, ExpQ, conE, Con (..), nameBase,)
+import Language.Haskell.TH.Compat.Data (unDataD, unNewtypeD, unTyVarBndr)
 import Data.List (foldl')
 
 import Data.Functor.ProductIsomorphic.Unsafe (ProductConstructor (..))
@@ -37,15 +37,14 @@
       <|>
       do (_cxt, tcn, bs, _mk,  r , _ds)  <-  unNewtypeD tcon
          Just (tcn, bs, r)
-    let vns = map getTV bs
+    let vns = map tyVarName bs
     case r of
       NormalC dcn ts   -> Just (((buildT tcn vns, vns), conE dcn), (Nothing, [return t | (_, t) <- ts]))
       RecC    dcn vts  -> Just (((buildT tcn vns, vns), conE dcn), (Just ns, ts))
         where (ns, ts) = unzip [(n, return t) | (n, _, t) <- vts]
       _                -> Nothing
   d _                  =  Nothing
-  getTV (PlainTV n)    =  n
-  getTV (KindedTV n _) =  n
+  tyVarName = fst . unTyVarBndr
   buildT tcn vns = foldl' appT (conT tcn) [ varT vn | vn <- vns ]
 
 -- | Low-level reify interface for record type name.