diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+3.0.4
+-----
+* Removed unnecessary constraints in `Control.Comonad.Trans.Store`.
+
 3.0.3
 -----
 * Marked modules Trustworthy as needed.
diff --git a/comonad-transformers.cabal b/comonad-transformers.cabal
--- a/comonad-transformers.cabal
+++ b/comonad-transformers.cabal
@@ -1,6 +1,6 @@
 name:          comonad-transformers
 category:      Control, Comonads
-version:       3.0.3
+version:       3.0.4
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Control/Comonad/Trans/Store.hs b/src/Control/Comonad/Trans/Store.hs
--- a/src/Control/Comonad/Trans/Store.hs
+++ b/src/Control/Comonad/Trans/Store.hs
@@ -161,7 +161,7 @@
 -- Seek satisfies the law
 --
 -- > seek s = peek s . duplicate
-seek :: Comonad w => s -> StoreT s w a -> StoreT s w a
+seek :: s -> StoreT s w a -> StoreT s w a
 seek s ~(StoreT f _) = StoreT f s
 
 -- | Modify the stored value
@@ -172,7 +172,7 @@
 -- Seeks satisfies the law
 --
 -- > seeks f = peeks f . duplicate
-seeks :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
+seeks :: (s -> s) -> StoreT s w a -> StoreT s w a
 seeks f ~(StoreT g s) = StoreT g (f s)
 
 -- | Peek at what the current focus would be for a different stored value