diff --git a/yaya-hedgehog.cabal b/yaya-hedgehog.cabal
--- a/yaya-hedgehog.cabal
+++ b/yaya-hedgehog.cabal
@@ -1,7 +1,7 @@
 cabal-version:  3.0
 
 name:        yaya-hedgehog
-version:     0.2.1.3
+version:     0.3.0.0
 synopsis:    Hedgehog testing support for the Yaya recursion scheme
              library.
 description: If you use Yaya in your own code and have tests written
@@ -147,7 +147,7 @@
     -- TODO: Remove `Cabal` dep once haskell/cabal#3751 is fixed.
     Cabal ^>= {3.0.0, 3.2.0, 3.4.0, 3.6.0, 3.8.0, 3.10.0},
     base ^>= {4.12.0, 4.13.0, 4.14.0, 4.15.0, 4.16.0, 4.17.0, 4.18.0, 4.19.0},
-    cabal-doctest ^>= 1.0.0
+    cabal-doctest ^>= {1.0.0},
 
 library
   import: defaults
@@ -158,9 +158,9 @@
     Yaya.Hedgehog.Expr
     Yaya.Hedgehog.Fold
   build-depends:
-    deriving-compat,
-    hedgehog,
-    yaya >= 0.3.0,
+    deriving-compat ^>= {0.5.9, 0.6},
+    hedgehog ^>= {1.0, 1.1, 1.2, 1.4},
+    yaya ^>= {0.6.0},
   ghc-options:
     -trust adjunctions
     -trust array
@@ -170,15 +170,14 @@
     -trust containers
     -trust distributive
     -trust exceptions
+    -trust foldable1-classes-compat
     -trust ghc-prim
+    -trust hashable
     -trust profunctors
     -trust semigroupoids
     -trust stm
     -trust text
     -trust transformers-compat
-  if impl(ghc < 9.6)
-    ghc-options:
-      -trust foldable1-classes-compat
 
 test-suite doctests
   import: defaults
@@ -186,7 +185,7 @@
   hs-source-dirs: tests
   main-is: doctests.hs
   build-depends:
-    doctest ^>= {0.15.0, 0.16.0, 0.17.0, 0.18.0, 0.19.0, 0.20.0, 0.21.0, 0.22.0},
+    doctest ^>= {0.16.0, 0.18.1, 0.20.1, 0.21.1, 0.22.2},
     yaya-hedgehog,
   -- TODO: The sections below here are necessary because we don’t have control
   --       over the generated `Build_doctests.hs` file. So we have to silence
@@ -219,10 +218,10 @@
     Test.Fold.Native
     Test.Retrofit
   build-depends:
-    deriving-compat,
-    hedgehog,
-    yaya >= 0.5.0,
-    yaya-hedgehog >= 0.2.0,
+    deriving-compat ^>= {0.5.9, 0.6},
+    hedgehog ^>= {1.0, 1.1, 1.2, 1.4},
+    yaya ^>= {0.6.0},
+    yaya-hedgehog,
   ghc-options:
     -rtsopts
     -threaded
@@ -234,6 +233,7 @@
     -trust containers
     -trust distributive
     -trust exceptions
+    -trust foldable1-classes-compat
     -trust ghc-prim
     -trust hashable
     -trust profunctors
@@ -242,6 +242,3 @@
     -trust text
     -trust transformers-compat
     -with-rtsopts=-N
-  if impl(ghc < 9.6)
-    ghc-options:
-      -trust foldable1-classes-compat