diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+### 3.9.7 [2022.05.28]
+* Allow the test suite to build with GHC 9.4.
+* Allow building with `transformers-0.6.*`.
+
 ### 3.9.6 [2022.01.14]
 * `text-show` no longer depends on `integer-gmp` when built with GHC 9.0 or
   later. When building with older versions of GHC, the `integer-gmp` dependency
diff --git a/src/TextShow/Data/Typeable.hs b/src/TextShow/Data/Typeable.hs
--- a/src/TextShow/Data/Typeable.hs
+++ b/src/TextShow/Data/Typeable.hs
@@ -156,11 +156,11 @@
 splitApps = go []
   where
     go :: [SomeTypeRep] -> TypeRep a -> (TyCon, [SomeTypeRep])
-    go xs (Con tc)  = (tc, xs)
-    go xs (App f x) = go (SomeTypeRep x : xs) f
     go [] (Fun a b) = (funTyCon, [SomeTypeRep a, SomeTypeRep b])
     go _  (Fun _ _) =
         errorWithoutStackTrace "Data.Typeable.Internal.splitApps: Impossible"
+    go xs (Con tc)  = (tc, xs)
+    go xs (App f x) = go (SomeTypeRep x : xs) f
 
 funTyCon :: TyCon
 funTyCon = typeRepTyCon (typeRep @(->))
diff --git a/tests/Derived/ExistentialQuantification.hs b/tests/Derived/ExistentialQuantification.hs
--- a/tests/Derived/ExistentialQuantification.hs
+++ b/tests/Derived/ExistentialQuantification.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE StandaloneDeriving        #-}
 {-# LANGUAGE TemplateHaskell           #-}
 {-# LANGUAGE TypeFamilies              #-}
+{-# LANGUAGE TypeOperators             #-}
 
 {-|
 Module:      Derived.ExistentialQuantification
diff --git a/tests/Instances/Data/Typeable.hs b/tests/Instances/Data/Typeable.hs
--- a/tests/Instances/Data/Typeable.hs
+++ b/tests/Instances/Data/Typeable.hs
@@ -21,7 +21,7 @@
 
 #if MIN_VERSION_base(4,9,0)
 import GHC.Types (TyCon(..), TrName(..), Module(..))
-# if WORD_SIZE_IN_BITS < 64
+# if MIN_VERSION_base(4,17,0) || WORD_SIZE_IN_BITS < 64
 import GHC.Word (Word64(..))
 # else
 import GHC.Word (Word(..))
@@ -115,7 +115,7 @@
 instance Arbitrary TyCon where
 #if MIN_VERSION_base(4,9,0)
     arbitrary = do
-# if WORD_SIZE_IN_BITS < 64
+# if MIN_VERSION_base(4,17,0) || WORD_SIZE_IN_BITS < 64
         W64# w1# <- arbitrary
         W64# w2# <- arbitrary
 # else
diff --git a/text-show.cabal b/text-show.cabal
--- a/text-show.cabal
+++ b/text-show.cabal
@@ -1,5 +1,5 @@
 name:                text-show
-version:             3.9.6
+version:             3.9.7
 synopsis:            Efficient conversion of values into Text
 description:         @text-show@ offers a replacement for the @Show@ typeclass intended
                      for use with @Text@ instead of @String@s. This package was created
@@ -52,7 +52,7 @@
                    , GHC == 8.8.4
                    , GHC == 8.10.7
                    , GHC == 9.0.2
-                   , GHC == 9.2.1
+                   , GHC == 9.2.2
 extra-source-files:  CHANGELOG.md, README.md, include/*.h
 cabal-version:       >=1.10
 
@@ -186,7 +186,7 @@
     build-depends:     template-haskell      >= 2.9  && < 2.11
 
   if flag(new-functor-classes)
-    build-depends:     transformers          (>= 0.2.1 && < 0.4) || (>= 0.5 && < 0.6)
+    build-depends:     transformers          (>= 0.2.1 && < 0.4) || (>= 0.5 && < 0.7)
                      , transformers-compat   >= 0.5 && < 1
     cpp-options:       "-DNEW_FUNCTOR_CLASSES"
   else
@@ -202,6 +202,8 @@
   ghc-options:         -Wall
   if impl(ghc >= 8.6)
     ghc-options:       -Wno-star-is-type
+  if impl(ghc >= 9.0)
+    ghc-options:       -fenable-th-splice-warnings
   include-dirs:        include
   includes:            generic.h
 
@@ -373,7 +375,7 @@
     build-depends:     base                  >= 4.7 && < 4.9
 
   if flag(new-functor-classes)
-    build-depends:     transformers          (>= 0.2.1 && < 0.4) || (>= 0.5 && < 0.6)
+    build-depends:     transformers          (>= 0.2.1 && < 0.4) || (>= 0.5 && < 0.7)
     cpp-options:       "-DNEW_FUNCTOR_CLASSES"
   else
     build-depends:     transformers          == 0.4.*
@@ -383,6 +385,8 @@
   ghc-options:         -Wall -threaded -rtsopts
   if impl(ghc >= 8.6)
     ghc-options:       -Wno-star-is-type
+  if impl(ghc >= 9.0)
+    ghc-options:       -fenable-th-splice-warnings
   include-dirs:        include
   includes:            generic.h
                      , overlap.h