diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,11 @@
+2.11 (Changes from 2.10.7)
+=========================
+* Bump dependency on semigroupoids
+* Bump dependency on transformers
+* Bump dependency on comonad
+  * Moving to comonad 0.5 requires moving from Data.Functor.Coproduct to Data.Functor.Sum.
+    This requires a change in the signature for Data.Lens.Partial.Common.runPLens.
+
 2.10.7 (Changes from 2.10.6)
 =========================
 * Bump dependency on semigroupoids
diff --git a/data-lens.cabal b/data-lens.cabal
--- a/data-lens.cabal
+++ b/data-lens.cabal
@@ -1,6 +1,6 @@
 name:               data-lens
 category:           Control, Comonads
-version:            2.10.7
+version:            2.11
 license:            BSD3
 cabal-version:      >= 1.6
 license-file:       LICENSE
@@ -18,21 +18,13 @@
   type: git
   location: git://github.com/roconnor/data-lens.git
 
-flag DeriveDataTypeable
-  manual: False
-  default: True
-
 library
   build-depends:
     base                 >= 4       && < 5,
-    comonad              >= 4.0     && < 4.3,
+    comonad              >= 4.0     && < 5.1,
     containers           >= 0.3     && < 0.6,
-    semigroupoids        >= 4.0     && < 5.1,
-    transformers         >= 0.2.0   && < 0.5
-
-  if flag(DeriveDataTypeable)
-    extensions: DeriveDataTypeable
-    cpp-options: -DLANGUAGE_DeriveDataTypeable
+    semigroupoids        >= 4.0     && < 5.2,
+    transformers         >= 0.2.0   && < 0.6
 
   extensions: CPP
 
diff --git a/src/Data/Lens/Partial/Common.hs b/src/Data/Lens/Partial/Common.hs
--- a/src/Data/Lens/Partial/Common.hs
+++ b/src/Data/Lens/Partial/Common.hs
@@ -8,20 +8,20 @@
 import Control.Comonad.Trans.Store
 import Data.Foldable (any, all)
 import Data.Functor.Identity
-import Data.Functor.Coproduct
+import Data.Functor.Sum
 import Data.Maybe
-import Data.Monoid
+import qualified Data.Monoid (Sum(..), Product(..))
 
 newtype PartialLens a b = PLens (a -> Maybe (Store b a))
 
--- A partial lens is a coalgebra for the Coproduct Identity (Store b) comonad.
-runPLens :: PartialLens a b -> a -> (Coproduct Identity (Store b)) a
-runPLens (PLens f) a = maybe (left (Identity a)) right (f a)
+-- A partial lens is a coalgebra for the Sum Identity (Store b) comonad.
+runPLens :: PartialLens a b -> a -> (Sum Identity (Store b)) a
+runPLens (PLens f) a = maybe (InL (Identity a)) InR (f a)
 
 instance Category PartialLens where
   id = totalLens id
   PLens f . PLens g = PLens $ \a -> do
-      (StoreT wba b) <- g a 
+      (StoreT wba b) <- g a
       (StoreT wcb c) <- f b
       return (StoreT ((.) <$> wba <*> wcb) c)
 
@@ -58,11 +58,11 @@
 
 -- returns 0 in case of null
 sumPL :: (Num c) => PartialLens a b -> (b -> c) -> a -> c
-sumPL l p = getSum . getorEmptyPL l (Sum . p)
+sumPL l p = Data.Monoid.getSum . getorEmptyPL l (Data.Monoid.Sum . p)
 
 -- returns 1 in case of null
 productPL :: (Num c) => PartialLens a b -> (b -> c) -> a -> c
-productPL l p = getProduct . getorEmptyPL l (Product . p)
+productPL l p = Data.Monoid.getProduct . getorEmptyPL l (Data.Monoid.Product . p)
 
 anyPL :: PartialLens a b -> (b -> Bool) -> a -> Bool
 anyPL l p =
@@ -125,7 +125,7 @@
 justLens :: PartialLens (Maybe a) a
 justLens = PLens $ \ma -> do
   a <- ma
-  return (store Just a) 
+  return (store Just a)
 
 leftLens :: PartialLens (Either a b) a
 leftLens = PLens $ either (Just . store Left) (const Nothing)