diff --git a/Control/Monad/Representable.hs b/Control/Monad/Representable.hs
--- a/Control/Monad/Representable.hs
+++ b/Control/Monad/Representable.hs
@@ -86,6 +86,9 @@
 instance (Indexable f, Indexable m) => Indexable (RepT f m) where
   index = uncurry . fmap index . index . runRepT
 
+instance (Adjustable f, Adjustable m) => Adjustable (RepT f m) where
+  adjust f (kf,km) = RepT . adjust (adjust f km) kf . runRepT
+
 instance (Lookup f, Lookup m) => Lookup (RepT f m) where
   lookup (k,k') (RepT fm) = lookup k fm >>= lookup k'
 
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:       0.4.3
+version:       0.4.4
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -26,7 +26,7 @@
     containers >= 0.3 && < 0.5,
     contravariant >= 0.1.2 && < 0.2,
     distributive >= 0.2 && < 0.3,
-    keys >= 0.2.6 && < 0.3,
+    keys >= 0.2.7 && < 0.3,
     mtl >= 2.0.1.0 && < 2.1,
     semigroups >= 0.5 && < 0.6,
     semigroupoids >= 1.2.2 && < 1.3.0,