diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,10 @@
 Changelog
 =========
 
+v0.2.1 2020-10-03
+-----------------
+  - Support GHC 9.0
+
 v0.2   2020-06-29
 -----------------
   - Support deriving co- and dialgebraic classes with `cst` and `eff`
diff --git a/Data/DeriveLiftedInstances/Internal.hs b/Data/DeriveLiftedInstances/Internal.hs
--- a/Data/DeriveLiftedInstances/Internal.hs
+++ b/Data/DeriveLiftedInstances/Internal.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DeriveLift #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE TupleSections #-}
@@ -92,7 +93,11 @@
 deriveInstance' :: Derivator -> Cxt -> Name -> Type -> Q [Dec]
 deriveInstance' deriv ctx clsName typ = do
   ClassI (ClassD _ _ tvs _ decs) _ <- reify clsName
+  #if MIN_VERSION_template_haskell(2,17,0)
+  let KindedTV tvn _ _ = last tvs
+  #else
   let KindedTV tvn _ = last tvs
+  #endif
   impl <- for decs $ \case
     SigD nm tp -> do
       dec <- reify nm
diff --git a/derive-lifted-instances.cabal b/derive-lifted-instances.cabal
--- a/derive-lifted-instances.cabal
+++ b/derive-lifted-instances.cabal
@@ -1,5 +1,5 @@
 name:                derive-lifted-instances
-version:             0.2
+version:             0.2.1
 synopsis:            Derive class instances though various kinds of lifting
 description:         Helper functions to use Template Haskell for generating class instances.
 homepage:            https://github.com/sjoerdvisscher/derive-lifted-instances
@@ -11,7 +11,7 @@
 category:            Data, Generics, Development
 build-type:          Simple
 cabal-version:       2.0
-tested-with:         GHC==8.10.1, GHC==8.8.3
+tested-with:         GHC==9.0.0.20200925, GHC==8.10.1, GHC==8.8.3
 
 extra-source-files:
   examples/*.hs
@@ -24,8 +24,8 @@
     Data.DeriveLiftedInstances.Internal
 
   build-depends:
-      base >= 4.13 && < 4.15
-    , template-haskell >= 2.15 && < 2.17
+      base >= 4.13 && < 4.16
+    , template-haskell >= 2.15 && < 2.18
     , bifunctors >= 5.5.7 && < 6
     , reflection >= 2.1 && < 3