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.2 (2023-04-08)
+
+- Bumped version bounds
+
 ## 0.2.0.1 (2022-11-24)
 
 - Bumped version bounds
diff --git a/src/Type/Errors.hs b/src/Type/Errors.hs
--- a/src/Type/Errors.hs
+++ b/src/Type/Errors.hs
@@ -411,7 +411,11 @@
 --
 -- >>> observe_phantom
 -- ...
+#if __GLASGOW_HASKELL__ >= 906
+-- ... No instance for ‘Show (f0 p0 -> ())’
+#else
 -- ... No instance for (Show (f0 p0 -> ()))
+#endif
 -- ...
 --
 -- @since 0.2.0.0
diff --git a/type-errors.cabal b/type-errors.cabal
--- a/type-errors.cabal
+++ b/type-errors.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.35.1.
 --
 -- see: https://github.com/sol/hpack
 
 name:           type-errors
-version:        0.2.0.1
+version:        0.2.0.2
 synopsis:       Tools for writing better type errors
 description:    Please see the README on GitHub at <https://github.com/isovector/type-errors#readme>
 category:       Type
@@ -51,13 +51,13 @@
     , syb
     , template-haskell
     , th-abstraction
+  default-language: Haskell2010
   if impl(ghc < 8.6)
     default-extensions:
         TypeInType
   if impl(ghc >= 9.2)
     default-extensions:
         StandaloneKindSignatures
-  default-language: Haskell2010
 
 test-suite test
   type: exitcode-stdio-1.0
@@ -81,16 +81,16 @@
   ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , doctest >=0.16.0.1 && <0.21
+    , doctest >=0.16.0.1 && <0.22
     , first-class-families >=0.5.0.0
     , syb
     , template-haskell
     , th-abstraction
     , type-errors
+  default-language: Haskell2010
   if impl(ghc < 8.6)
     default-extensions:
         TypeInType
   if impl(ghc >= 9.2)
     default-extensions:
         StandaloneKindSignatures
-  default-language: Haskell2010