diff --git a/containers/yaya-containers.cabal b/containers/yaya-containers.cabal
index e303d10..e3d719c 100644
--- a/containers/yaya-containers.cabal
+++ b/containers/yaya-containers.cabal
@@ -151,7 +151,7 @@ library
     Yaya.Containers.Pattern.Map
     Yaya.Containers.Pattern.Set
   build-depends:
-    containers ^>= {0.6.0, 0.7},
+    containers ^>= {0.4.2, 0.5.0, 0.6.0, 0.7},
     yaya ^>= 0.5.0,
   ghc-options:
     -trust adjunctions
diff --git a/core/yaya.cabal b/core/yaya.cabal
index 994077f..55c98f8 100644
--- a/core/yaya.cabal
+++ b/core/yaya.cabal
@@ -171,11 +171,14 @@ library
     either,
     free,
     kan-extensions,
-    lens,
+    -- lens < 5 isn’t `Safe`
+    lens ^>= {5, 5.1, 5.2},
     profunctors,
-    strict,
+    -- strict < 0.4 doesn’t export various combinators
+    strict ^>= {0.4, 0.5},
     template-haskell,
-    th-abstraction,
+    -- th-abstraction < 0.3 has different field names
+    th-abstraction ^>= {0.3.0, 0.4.0, 0.5.0, 0.6.0},
     transformers,
     -- NB: foldable-classes-compat is a transitive dependency … depending on
     --     which version of other dependencies (specifically,
@@ -183,6 +186,8 @@ library
     --     packages in the dependency graph, so we make it explicit here for the
     --     times that it doesn’t get included transitively.
     foldable1-classes-compat,
+    -- FIXME: Fold yaya-containers into here, and make this the dependency
+    containers ^>= {0.4.2, 0.5.0, 0.6.0, 0.7},
   ghc-options:
     -trust adjunctions
     -trust array
diff --git a/hedgehog/yaya-hedgehog.cabal b/hedgehog/yaya-hedgehog.cabal
index 382477c..ba4773c 100644
--- a/hedgehog/yaya-hedgehog.cabal
+++ b/hedgehog/yaya-hedgehog.cabal
@@ -159,7 +159,7 @@ library
     Yaya.Hedgehog.Fold
   build-depends:
     deriving-compat,
-    hedgehog,
+    hedgehog ^>= {1.0, 1.1, 1.2, 1.3, 1.4},
     yaya >= 0.3.0,
   ghc-options:
     -trust adjunctions
@@ -187,6 +187,9 @@ test-suite doctests
   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},
     yaya-hedgehog,
+    -- FIXME: Transitive dependencies we’re trying to constrain
+    containers ^>= {0.6.0, 0.7},
+    text ^>= {1.2.4, 2.0, 2.1},
   -- 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
   --       all of its warnings one way or another.
diff --git a/quickcheck/yaya-quickcheck.cabal b/quickcheck/yaya-quickcheck.cabal
index b5f370f..9e2b0d5 100644
--- a/quickcheck/yaya-quickcheck.cabal
+++ b/quickcheck/yaya-quickcheck.cabal
@@ -152,7 +152,7 @@ library
   exposed-modules:
     Yaya.QuickCheck.Fold
   build-depends:
-    QuickCheck,
+    QuickCheck ^>= {2.10, 2.11, 2.12, 2.13, 2.14},
     yaya >= 0.5.0,
     -- NB: splitmix is a transitive dependency … if we select QuickCheck >=
     --     2.13. However, `-trust` only works for packages in the dependency