diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,8 +1,14 @@
 # Revision history for explainable-predicates
 
+## 0.1.2.4 -- 2023-11-28
+
+* Version bounds now allow GHC 9.6 and 9.8
+* Fix TypeOperators warning in Test.Predicates
+
 ## 0.1.2.3 -- 2021-09-18
 
-* Version bounds now allow GHC 9.4 
+* Version bounds now allow GHC 9.4
+
 ## 0.1.2.2 -- 2021-12-20
 
 * Better error messages for HUnit integration.
diff --git a/explainable-predicates.cabal b/explainable-predicates.cabal
--- a/explainable-predicates.cabal
+++ b/explainable-predicates.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               explainable-predicates
-version:            0.1.2.3
+version:            0.1.2.4
 synopsis:           Predicates that can explain themselves.
 description:        Explainable predicates are essentially functions from types
                     to 'Bool' which can additionally describe themselves and
@@ -20,7 +20,7 @@
 
 extra-source-files: CHANGELOG.md, README.md
 
-tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.3 || == 9.4.2
+tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.8 || == 9.4.5 || == 9.6.2 || == 9.8.1
 
 source-repository head
     type:     git
@@ -56,9 +56,9 @@
                          Test.Predicates.Internal.FlowMatcher
     other-modules:       Test.Predicates.Internal.Util
     build-depends:       array >= 0.5.2 && < 0.6,
-                         base >=4.12.0 && < 4.18,
+                         base >=4.12.0 && < 4.20,
                          syb >= 0.7.2 && < 0.8,
-                         template-haskell >= 2.13.0 && < 2.20,
+                         template-haskell >= 2.13.0 && < 2.22,
     hs-source-dirs:      src
     default-language:    Haskell2010
     ghc-options:         -Wall -Wcompat -Wincomplete-uni-patterns
diff --git a/src/Test/Predicates.hs b/src/Test/Predicates.hs
--- a/src/Test/Predicates.hs
+++ b/src/Test/Predicates.hs
@@ -10,6 +10,7 @@
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 -- | Explainable 'Predicate's are essentially functions from types to `Bool`
 -- which can additionally describe themselves and explain why an argument does