diff --git a/kind-generics-th.cabal b/kind-generics-th.cabal
--- a/kind-generics-th.cabal
+++ b/kind-generics-th.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                kind-generics-th
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Template Haskell support for generating `GenericK` instances
 description:         This package provides Template Haskell functionality to
                      automatically derive @GenericK@ instances (from the
@@ -25,7 +25,7 @@
   build-depends:       base >=4.12 && <5
                      , kind-generics >=0.3
                      , template-haskell >=2.14 && <2.15
-                     , th-abstraction >=0.2.8 && <0.3
+                     , th-abstraction >=0.2.8 && <0.4
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
diff --git a/src/Generics/Kind/TH.hs b/src/Generics/Kind/TH.hs
--- a/src/Generics/Kind/TH.hs
+++ b/src/Generics/Kind/TH.hs
@@ -1,6 +1,7 @@
 {-# language ExplicitNamespaces #-}
 {-# language MultiWayIf #-}
 {-# language TemplateHaskellQuotes #-}
+{-# language CPP #-}
 
 -- | Main module of @kind-generics-th@.
 -- Please refer to the @README@ file for documentation on how to use this package.
@@ -38,7 +39,11 @@
 deriveGenericK :: Name -> Q [Dec]
 deriveGenericK n = do
   DatatypeInfo{ datatypeName    = dataName
+#if MIN_VERSION_th_abstraction(0,3,0)
+              , datatypeInstTypes = univVars
+#else
               , datatypeVars    = univVars
+#endif
               , datatypeVariant = variant
               , datatypeCons    = cons
               } <- reifyDatatype n