diff --git a/Data/Functor/Yoneda/Contravariant.hs b/Data/Functor/Yoneda/Contravariant.hs
--- a/Data/Functor/Yoneda/Contravariant.hs
+++ b/Data/Functor/Yoneda/Contravariant.hs
@@ -30,6 +30,10 @@
 import Data.Functor.Adjunction
 import Data.Functor.Representable
 import Data.Key
+import Data.Foldable
+import Data.Traversable
+import Data.Semigroup.Foldable
+import Data.Semigroup.Traversable
 import Prelude hiding (sequence, lookup, zipWith)
 import Text.Read hiding (lift)
 
diff --git a/kan-extensions.cabal b/kan-extensions.cabal
--- a/kan-extensions.cabal
+++ b/kan-extensions.cabal
@@ -1,6 +1,6 @@
 name:          kan-extensions
 category:      Data Structures, Monads, Comonads, Functors
-version:       2.0.0.3
+version:       2.0.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -31,18 +31,19 @@
   build-depends: 
     array                  >= 0.3.0.2 && < 0.4,
     base                   >= 4       && < 5,
-    comonad                >= 1.1     && < 1.2,
-    semigroups             >= 0.6     && < 0.7,
-    semigroupoids          >= 1.2.2   && < 1.3,
-    transformers           >= 0.2     && < 0.3,
+    comonad                >= 1.1.1   && < 1.2,
     containers             >= 0.4     && < 0.5,
+    transformers           >= 0.2     && < 0.3,
+    mtl                    >= 2.0.1.0 && < 2.1,
+
+    semigroups             >= 0.7.1   && < 0.8,
+    semigroupoids          >= 1.2.4   && < 1.3,
     contravariant          >= 0.1.2   && < 0.2,
     distributive           >= 0.2     && < 0.3,
-    mtl                    >= 2.0.1.0 && < 2.1,
-    comonad-transformers   >= 1.8     && < 1.9,
-    comonads-fd            >= 1.8     && < 1.9,
-    keys                   >= 1.8     && < 1.9,
-    free                   >= 1.8     && < 1.9,
+    comonad-transformers   >= 2.0     && < 2.1,
+    comonads-fd            >= 2.0     && < 2.1,
+    keys                   >= 2.1     && < 2.2,
+    free                   >= 2.0     && < 2.1,
     adjunctions            >= 2.0     && < 2.1,
     representable-functors >= 2.0     && < 2.1