diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.9.1
+-----
+* Updated to work with `comonad` 4.0 and `profunctors` 4.0
+
 0.9
 ---
 * Added the missing instance for `Applicative (Scope b f)`
diff --git a/bound.cabal b/bound.cabal
--- a/bound.cabal
+++ b/bound.cabal
@@ -1,6 +1,6 @@
 name:          bound
 category:      Language, Compilers/Interpreters
-version:       0.9.0.1
+version:       0.9.1
 license:       BSD3
 cabal-version: >= 1.9.2
 license-file:  LICENSE
@@ -70,11 +70,11 @@
     binary          >= 0.5     && < 0.8,
     bytes           >= 0.4     && < 1,
     cereal          >= 0.3.5.2 && < 0.5,
-    comonad         >= 3       && < 4,
+    comonad         >= 3       && < 5,
     hashable        >= 1.1     && < 1.3,
     hashable-extras >= 0.1     && < 1,
     prelude-extras  >= 0.3     && < 1,
-    profunctors     >= 3.3     && < 4,
+    profunctors     >= 3.3     && < 5,
     transformers    >= 0.2     && < 0.4
 
   ghc-options: -Wall -O2 -fspec-constr -fdicts-cheap -funbox-strict-fields