diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.8.3] - 2023.02.27
+
+* Support building with `th-abstraction-0.5.*`.
+* Require `th-abstraction-0.3.0.0` or later.
+
 ## [0.8.2] - 2020-09-29
 
 * Allow building with `template-haskell-2.17.0.0` (GHC 9.0).
diff --git a/src/Language/Haskell/TH/Lift.hs b/src/Language/Haskell/TH/Lift.hs
--- a/src/Language/Haskell/TH/Lift.hs
+++ b/src/Language/Haskell/TH/Lift.hs
@@ -32,7 +32,7 @@
 import Data.Char (ord)
 #endif /* !(MIN_VERSION_template_haskell(2,8,0)) */
 import Language.Haskell.TH
-import Language.Haskell.TH.Datatype
+import Language.Haskell.TH.Datatype as Datatype
 import qualified Language.Haskell.TH.Lib as Lib (starK)
 import Language.Haskell.TH.Lift.Internal
 import Language.Haskell.TH.Syntax
@@ -242,14 +242,27 @@
 withInfo i f = case i of
     DatatypeInfo { datatypeContext   = dcx
                  , datatypeName      = n
-#if MIN_VERSION_th_abstraction(0,3,0)
                  , datatypeInstTypes = vs
-#else
-                 , datatypeVars      = vs
-#endif
                  , datatypeCons      = cons
-                 } ->
+                 , datatypeVariant   = variant
+                 } -> do
+      case variant of
+#if MIN_VERSION_th_abstraction(0,5,0)
+        Datatype.TypeData -> typeDataError n
+#endif
+        _ -> return ()
       f dcx n vs cons
+
+#if MIN_VERSION_th_abstraction(0,5,0)
+-- | We cannot define implementations for @lift@ at the term level for
+-- @type data@ declarations, which only exist at the type level.
+typeDataError :: Name -> Q a
+typeDataError dataName = fail
+  . showString "Cannot derive instance for ‘"
+  . showString (nameBase dataName)
+  . showString "‘, which is a ‘type data‘ declaration"
+  $ ""
+#endif
 
 instance Lift Name where
   lift (Name occName nameFlavour) = [| Name occName nameFlavour |]
diff --git a/th-lift.cabal b/th-lift.cabal
--- a/th-lift.cabal
+++ b/th-lift.cabal
@@ -1,5 +1,5 @@
 Name:               th-lift
-Version:            0.8.2
+Version:            0.8.3
 Cabal-Version:      1.12
 License:            BSD3
 License-Files:      COPYING, BSD3, GPL-2
@@ -26,7 +26,7 @@
     old versions of their respective libraries, as the same @Lift@ instances
     are also present upstream on newer versions.
 Category:           Language
-Tested-With:        GHC==7.0.4, GHC==7.2.2, GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.5, GHC==8.8.3, GHC==8.10.1
+Tested-With:        GHC==7.0.4, GHC==7.2.2, GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.5, GHC==8.8.4, GHC==8.10.7, GHC==9.0.2, GHC==9.2.6, GHC==9.4.4, GHC==9.6.1
 build-type:         Simple
 Extra-source-files: CHANGELOG.md
 
@@ -44,10 +44,10 @@
   else
     Other-Extensions: TemplateHaskell
   Hs-Source-Dirs:   src
-  Build-Depends:    base              >= 4.3  && < 5,
+  Build-Depends:    base             >= 4.3 && < 5,
                     ghc-prim,
-                    th-abstraction   >= 0.2.3 && < 0.5,
-                    template-haskell >= 2.5   && < 2.18
+                    th-abstraction   >= 0.3 && < 0.6,
+                    template-haskell >= 2.5 && < 2.21
   ghc-options:      -Wall
 
 Test-Suite test
@@ -57,6 +57,8 @@
   Hs-Source-Dirs:   t
   other-modules:    Foo
   ghc-options:      -Wall
+  if impl(ghc >= 9.0)
+    ghc-options:    -fenable-th-splice-warnings
   Build-Depends:    base,
                     ghc-prim,
                     th-lift,