diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for type-errors
 
+## 0.2.0.1 (2022-11-24)
+
+- Bumped version bounds
+
 ## 0.2.0.0 (2019-07-03)
 
 ### Breaking Changes
diff --git a/src/Type/Errors.hs b/src/Type/Errors.hs
--- a/src/Type/Errors.hs
+++ b/src/Type/Errors.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE CPP #-}
+
 ------------------------------------------------------------------------------
 -- | This module provides useful tools for writing better type-errors. For
 -- a quickstart guide to the underlying 'GHC.TypeLits.TypeError' machinery,
@@ -101,6 +103,9 @@
 -- ...
 --
 -- @since 0.1.0.0
+#if __GLASGOW_HASKELL__ >= 902
+type ShowTypeQuoted :: k -> ErrorMessage
+#endif
 type family ShowTypeQuoted (t :: k) :: ErrorMessage where
   ShowTypeQuoted (t :: Symbol) = 'ShowType t
   ShowTypeQuoted t             = 'Text "'" ':<>: 'ShowType t ':<>: 'Text "'"
diff --git a/type-errors.cabal b/type-errors.cabal
--- a/type-errors.cabal
+++ b/type-errors.cabal
@@ -1,13 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.2.
+-- This file has been generated from package.yaml by hpack version 0.34.4.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: 89d18eac6ec0d221b9fa775523c8c4417ebbfa1c65bbcbf42c0f8569fd040337
 
 name:           type-errors
-version:        0.2.0.0
+version:        0.2.0.1
 synopsis:       Tools for writing better type errors
 description:    Please see the README on GitHub at <https://github.com/isovector/type-errors#readme>
 category:       Type
@@ -34,7 +32,18 @@
       Paths_type_errors
   hs-source-dirs:
       src
-  default-extensions: ConstraintKinds DataKinds FlexibleContexts LambdaCase PolyKinds ScopedTypeVariables TemplateHaskellQuotes TypeApplications TypeFamilies TypeOperators UndecidableInstances
+  default-extensions:
+      ConstraintKinds
+      DataKinds
+      FlexibleContexts
+      LambdaCase
+      PolyKinds
+      ScopedTypeVariables
+      TemplateHaskellQuotes
+      TypeApplications
+      TypeFamilies
+      TypeOperators
+      UndecidableInstances
   ghc-options: -Wall
   build-depends:
       base >=4.7 && <5
@@ -43,7 +52,11 @@
     , template-haskell
     , th-abstraction
   if impl(ghc < 8.6)
-    default-extensions: TypeInType
+    default-extensions:
+        TypeInType
+  if impl(ghc >= 9.2)
+    default-extensions:
+        StandaloneKindSignatures
   default-language: Haskell2010
 
 test-suite test
@@ -53,16 +66,31 @@
       Paths_type_errors
   hs-source-dirs:
       test
-  default-extensions: ConstraintKinds DataKinds FlexibleContexts LambdaCase PolyKinds ScopedTypeVariables TemplateHaskellQuotes TypeApplications TypeFamilies TypeOperators UndecidableInstances
+  default-extensions:
+      ConstraintKinds
+      DataKinds
+      FlexibleContexts
+      LambdaCase
+      PolyKinds
+      ScopedTypeVariables
+      TemplateHaskellQuotes
+      TypeApplications
+      TypeFamilies
+      TypeOperators
+      UndecidableInstances
   ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , doctest >=0.16.0.1 && <0.17
+    , doctest >=0.16.0.1 && <0.21
     , first-class-families >=0.5.0.0
     , syb
     , template-haskell
     , th-abstraction
     , type-errors
   if impl(ghc < 8.6)
-    default-extensions: TypeInType
+    default-extensions:
+        TypeInType
+  if impl(ghc >= 9.2)
+    default-extensions:
+        StandaloneKindSignatures
   default-language: Haskell2010