diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for finitary
 
+## 2.1.2.0 -- 2024-05-06
+
+* Allow `typelits-witnesses-0.4.0.1`, and bump upper bounds of
+  `hspec` and `hspec-hedgehog` in the test component (thanks to viercc).
+
 ## 2.1.1.1 -- 2022-12-03
 
 * Bump some upper bounds, including `base`.
diff --git a/finitary.cabal b/finitary.cabal
--- a/finitary.cabal
+++ b/finitary.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               finitary
-version:            2.1.1.1
+version:            2.1.2.0
 synopsis:           A better, more type-safe Enum.
 description:
   Provides a type class witnessing that a type has
@@ -70,7 +70,7 @@
       , vector-sized
           >= 1.4.1.0 && < 1.6
       , typelits-witnesses
-         ^>= 0.4.0.0
+         ^>= 0.4.0.1
 
   hs-source-dirs:   src
   ghc-options:
@@ -91,11 +91,11 @@
     , ghc-typelits-knownnat
     , ghc-typelits-natnormalise
     , hedgehog
-         >= 1.0.2 && < 1.3
+        >= 1.0.2 && < 1.3
     , hspec
-        ^>= 2.7.1
+        >= 2.7.1 && < 3.0
     , hspec-hedgehog
-        ^>= 0.0.1.2
+        >= 0.0.1.2 && < 0.2
     , primitive
     , template-haskell
     , typelits-witnesses