diff --git a/comonad-extras.cabal b/comonad-extras.cabal
--- a/comonad-extras.cabal
+++ b/comonad-extras.cabal
@@ -1,6 +1,6 @@
 name:          comonad-extras
 category:      Control, Comonads
-version:       3.0.2
+version:       4.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -9,9 +9,9 @@
 stability:     experimental
 homepage:      http://github.com/ekmett/comonad-extras/
 bug-reports:   http://github.com/ekmett/comonad-extras/issues
-copyright:     Copyright (C) 2011 Edward A. Kmett
-synopsis:      Comonad transformers requiring extensions to Haskell 98
-description:   Comonads and comonad transformers that require extensions to Haskell 98
+copyright:     Copyright (C) 2011-2013 Edward A. Kmett
+synopsis:      Exotic comonad transformers
+description:   Exotic comonad transformers
 build-type:    Simple
 extra-source-files: .travis.yml
 
@@ -35,11 +35,9 @@
     array                >= 0.3   && < 0.6,
     base                 >= 4     && < 5,
     containers           >= 0.4   && < 0.6,
-    comonad              >= 3     && < 4,
-    comonad-transformers >= 3     && < 4,
-    comonads-fd          >= 3     && < 4,
-    distributive         >= 0.2.2 && < 1,
-    semigroupoids        >= 3     && < 4,
+    comonad              >= 4     && < 5,
+    distributive         >= 0.3.2 && < 1,
+    semigroupoids        >= 4     && < 5,
     transformers         >= 0.2   && < 0.4
 
   exposed-modules:
diff --git a/src/Control/Comonad/Store/Pointer.hs b/src/Control/Comonad/Store/Pointer.hs
--- a/src/Control/Comonad/Store/Pointer.hs
+++ b/src/Control/Comonad/Store/Pointer.hs
@@ -103,7 +103,7 @@
   lower (PointerT g i) = fmap (! i) g
 
 instance Ix i => ComonadHoist (PointerT i) where
-  cohoist (PointerT g i) = PointerT (Identity (extract g)) i
+  cohoist l (PointerT g i) = PointerT (l g) i
 
 instance (Comonad w, Ix i) => ComonadStore i (PointerT i w) where
   pos (PointerT _ i) = i
diff --git a/src/Control/Comonad/Store/Zipper.hs b/src/Control/Comonad/Store/Zipper.hs
--- a/src/Control/Comonad/Store/Zipper.hs
+++ b/src/Control/Comonad/Store/Zipper.hs
@@ -4,7 +4,7 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Store.Zipper
--- Copyright   :  (C) 2008-2012 Edward Kmett,
+-- Copyright   :  (C) 2008-2013 Edward Kmett,
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>