diff --git a/Data/Functor/Yoneda.hs b/Data/Functor/Yoneda.hs
--- a/Data/Functor/Yoneda.hs
+++ b/Data/Functor/Yoneda.hs
@@ -38,7 +38,7 @@
 import Data.Semigroup.Traversable
 import Data.Traversable
 import Text.Read hiding (lift)
-import Prelude hiding (sequence, lookup)
+import Prelude hiding (sequence, lookup, zipWith)
 
 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } 
 
@@ -65,6 +65,12 @@
 instance Applicative f => Applicative (Yoneda f) where
   pure a = Yoneda (\f -> pure (f a))
   Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id)
+
+instance Zip f => Zip (Yoneda f) where
+  zipWith f (Yoneda m) (Yoneda n) = liftYoneda $ zipWith f (m id) (n id)
+
+instance ZipWithKey f => ZipWithKey (Yoneda f) where
+  zipWithKey f (Yoneda m) (Yoneda n) = liftYoneda $ zipWithKey f (m id) (n id)
 
 instance Foldable f => Foldable (Yoneda f) where
   foldMap f = foldMap f . lowerYoneda
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,7 +30,7 @@
 import Data.Functor.Adjunction
 import Data.Functor.Representable
 import Data.Key
-import Prelude hiding (sequence, lookup)
+import Prelude hiding (sequence, lookup, zipWith)
 import Text.Read hiding (lift)
 
 -- | The contravariant Yoneda lemma applied to a covariant functor
@@ -60,6 +60,12 @@
 instance Applicative f => Applicative (Yoneda f) where
   pure = liftYoneda . pure
   m <*> n = liftYoneda $ lowerYoneda m <*> lowerYoneda n
+
+instance Zip f => Zip (Yoneda f) where
+  zipWith f m n = liftYoneda $ zipWith f (lowerYoneda m) (lowerYoneda n)
+
+instance ZipWithKey f => ZipWithKey (Yoneda f) where
+  zipWithKey f m n = liftYoneda $ zipWithKey f (lowerYoneda m) (lowerYoneda n)
 
 instance Alternative f => Alternative (Yoneda f) where
   empty = liftYoneda empty 
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:       1.9.0
+version:       2.0.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -31,10 +31,10 @@
     mtl                    >= 2.0.1.0 && < 2.1,
     comonad-transformers   >= 1.8     && < 1.9,
     comonads-fd            >= 1.8     && < 1.9,
-    adjunctions            >= 1.8     && < 1.9,
     keys                   >= 1.8     && < 1.9,
     free                   >= 1.8     && < 1.9,
-    representable-functors >= 1.8     && < 1.9
+    adjunctions            >= 2.0     && < 2.1,
+    representable-functors >= 2.0     && < 2.1
 
   exposed-modules:
     Control.Comonad.Density