diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 0.1.0.1
+
+- Loosen the bounds on `containers`.
+
+
 # 0.1.0.0
 
 - Add non-empty folds and traversals, `Fold1` and `Traversal1` respectively.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -34,6 +34,6 @@
 
 Unlike both `lens` _and_ `optics`, `fresnel` (currently) has no support for indexed optics, or certain other baroque optics. Some of these would be simpler additions than others, and are likely to be added in the fullness of time.
 
-Like [`prolens`][], and also unlike either of the others, `fresnel` requires a reasonably small set of dependencies: `base`, `containers`, `profunctors`, and `unordered-containers`. On the other hand, [`prolens`][] requires even fewer dependencies: only `base`.
+Like [`prolens`][], and also unlike either of the others, `fresnel` requires a reasonably small set of dependencies: `base`, `containers`, `profunctors`, `semigroupoids`, and `unordered-containers`. On the other hand, [`prolens`][] requires even fewer dependencies: only `base`.
 
 [`prolens`]: https://github.com/kowainik/prolens
diff --git a/fresnel.cabal b/fresnel.cabal
--- a/fresnel.cabal
+++ b/fresnel.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               fresnel
-version:            0.1.0.0
+version:            0.1.0.1
 synopsis:           high-powered optics in a small package
 description:        fresnel offers (non-indexed) profunctor optics composed with the lowly . operator.
 homepage:           https://github.com/fresnel/fresnel
@@ -25,7 +25,6 @@
     -Wno-missed-specialisations
     -Wno-missing-import-lists
     -Wno-missing-local-signatures
-    -Wno-missing-safe-haskell-mode
     -Wno-monomorphism-restriction
     -Wno-name-shadowing
     -Wno-safe
@@ -95,7 +94,7 @@
     Fresnel.Traversal1.Internal
   build-depends:
     , base >=4.14 && < 5
-    , containers   >= 0.5 && < 0.7
+    , containers   >= 0.5 && < 0.8
     , hashable     >= 1.3 && < 1.5
     , profunctors ^>= 5.6
     , semigroupoids ^>= 6