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/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