diff --git a/semigroupoids.cabal b/semigroupoids.cabal
--- a/semigroupoids.cabal
+++ b/semigroupoids.cabal
@@ -1,6 +1,6 @@
 name:          semigroupoids
 category:      Control, Comonads
-version:       4.0.1
+version:       4.0.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -32,10 +32,10 @@
   .
   Ideally the following relationships would hold:
   .
-  > Traversable <---- Foldable <--- Functor ------> Alt ---------> Plus           Semigroupoid
+  > Foldable ----> Traversable <--- Functor ------> Alt ---------> Plus           Semigroupoid
   >      |               |            |                              |                  |
   >      v               v            v                              v                  v
-  > Traversable1 <--- Foldable1     Apply --------> Applicative -> Alternative      Category
+  > Foldable1 ---> Traversable1     Apply --------> Applicative -> Alternative      Category
   >                                   |               |              |                  |
   >                                   v               v              v                  v
   >                                 Bind ---------> Monad -------> MonadPlus          Arrow
@@ -62,7 +62,7 @@
     comonad       >= 4       && < 5,
     distributive  >= 0.2.2   && < 1,
     semigroups    >= 0.8.3.1 && < 1,
-    transformers  >= 0.2     && < 0.4
+    transformers  >= 0.2     && < 0.6
 
   hs-source-dirs: src