diff --git a/Control/Monad/Representable/Reader.hs b/Control/Monad/Representable/Reader.hs
--- a/Control/Monad/Representable/Reader.hs
+++ b/Control/Monad/Representable/Reader.hs
@@ -133,6 +133,12 @@
   extend = extendRep
   duplicate = duplicateRep
 
+instance (Representable f, Representable m) => Zip (ReaderT f m) where
+  zipWith = zipWithRep
+
+instance (Representable f, Representable m) => ZipWithKey (ReaderT f m) where
+  zipWithKey = zipWithKeyRep
+
 instance (Representable f, Representable m, Semigroup (Key f), Semigroup (Key m), Monoid (Key f), Monoid (Key m)) => Comonad (ReaderT f m) where
   extract = extractRep
 
diff --git a/Data/Functor/Representable.hs b/Data/Functor/Representable.hs
--- a/Data/Functor/Representable.hs
+++ b/Data/Functor/Representable.hs
@@ -33,6 +33,9 @@
   -- ** Bind/Monad
   , bindRep
   , bindWithKeyRep
+  -- ** Zip/ZipWithKey
+  , zipWithRep
+  , zipWithKeyRep
   -- ** MonadReader
   , askRep
   , localRep
@@ -63,7 +66,7 @@
 -- > index . tabulate = id
 -- > tabulate . return f = return f
 
-class (Indexable f, Distributive f, Keyed f, Apply f, Applicative f) => Representable f where
+class (Indexable f, Distributive f, Keyed f, Apply f, Applicative f, ZipWithKey f) => Representable f where
   -- | > fmap f . tabulate = tabulate . fmap f
   tabulate :: (Key f -> a) -> f a
 
@@ -96,6 +99,12 @@
 
 apRep :: Representable f => f (a -> b) -> f a -> f b
 apRep f g = tabulate (index f <*> index g) 
+
+zipWithRep :: Representable f => (a -> b -> c) -> f a -> f b -> f c
+zipWithRep f g h = tabulate $ \k -> f (index g k) (index h k)
+
+zipWithKeyRep :: Representable f => (Key f -> a -> b -> c) -> f a -> f b -> f c
+zipWithKeyRep f g h = tabulate $ \k -> f k (index g k) (index h k)
 
 distributeRep :: (Representable f, Functor w) => w (f a) -> f (w a)
 distributeRep wf = tabulate (\k -> fmap (`index` k) wf)
diff --git a/representable-functors.cabal b/representable-functors.cabal
--- a/representable-functors.cabal
+++ b/representable-functors.cabal
@@ -1,6 +1,6 @@
 name:          representable-functors
 category:      Monads, Functors, Data Structures
-version:       1.8.0
+version:       2.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE