diff --git a/Control/Comonad/Trans/Store/Lazy.hs b/Control/Comonad/Trans/Store/Lazy.hs
--- a/Control/Comonad/Trans/Store/Lazy.hs
+++ b/Control/Comonad/Trans/Store/Lazy.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Trans.Store.Lazy
@@ -10,9 +11,9 @@
 --
 -- The lazy store (state-in-context/costate) comonad transformer is subject to the laws:
 -- 
--- > x = put (get x) x
--- > y = get (put y) x)
--- > put y x = put y (put z x)
+-- > x = seek (pos x) x
+-- > y = pos (seek y x)
+-- > seek y x = seek y (seek z x)
 --
 -- Thanks go to Russell O'Connor and Daniel Peebles for their help formulating 
 -- and proving the laws for this comonad transformer.
@@ -24,10 +25,9 @@
   -- * The Store comonad transformer
   , StoreT(..), runStoreT
   -- * Operations
-  , get
-  , put
-  , modify
-  , experiment
+  , pos
+  , seek, seeks
+  , peek, peeks
   ) where
 
 import Control.Comonad
@@ -82,14 +82,28 @@
 instance ComonadHoist (StoreT s) where
   cohoist ~(StoreT f s) = StoreT (Identity (extract f)) s
 
-get :: StoreT s w a -> s
-get (StoreT _ s) = s
+-- | Read the current position
+pos :: StoreT s w a -> s
+pos (StoreT _ s) = s
 
-put :: Comonad w => s -> StoreT s w a -> StoreT s w a 
-put s ~(StoreT f _) = StoreT f s
+-- | Seek to an absolute location
+--
+-- > seek s = peek s . duplicate
+seek :: Comonad w => s -> StoreT s w a -> StoreT s w a 
+seek s ~(StoreT f _) = StoreT f s
 
-modify :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
-modify f ~(StoreT g s) = StoreT g (f s)
+-- | Seek to a relative location
+--
+-- > seeks f = peeks f . duplicate
+seeks :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
+seeks f ~(StoreT g s) = StoreT g (f s)
 
-experiment :: (Comonad w, Functor f) => f (s -> s) -> StoreT s w a -> f a
-experiment fs ~(StoreT g s) = fmap (\f -> extract g (f s)) fs
+-- | Peek at a value at a given absolute location
+--
+-- > peek x . extend (peek y) = peek y
+peek :: Comonad w => s -> StoreT s w a -> a
+peek s (StoreT g _) = extract g s
+
+-- | Peek at a value at a given relative location
+peeks :: Comonad w => (s -> s) -> StoreT s w a -> a
+peeks f ~(StoreT g s) = extract g (f s)
diff --git a/Control/Comonad/Trans/Store/Memo.hs b/Control/Comonad/Trans/Store/Memo.hs
--- a/Control/Comonad/Trans/Store/Memo.hs
+++ b/Control/Comonad/Trans/Store/Memo.hs
@@ -12,9 +12,9 @@
 -- The memoizing store (state-in-context/costate) comonad transformer is 
 -- subject to the laws:
 -- 
--- > x = put (get x) x
--- > y = get (put y x)
--- > put y x = put y (put z x)
+-- > x = seek (pos x) x
+-- > y = pos (seek y x)
+-- > seek y x = seek y (seek z x)
 --
 -- This version of the transformer lazily memoizes the result of applying the 
 -- comonad to the current state. This can be useful for avoiding redundant 
@@ -27,10 +27,9 @@
   -- * The Store comonad transformer
   , StoreT, storeT, runStoreT
   -- * Operations
-  , get
-  , put
-  , modify
-  , experiment
+  , pos
+  , seek, seeks
+  , peek, peeks
   ) where
 
 import Control.Comonad
@@ -90,14 +89,29 @@
 instance ComonadHoist (StoreT s) where
   cohoist (StoreT f s w) = StoreT (Identity (extract f)) s (Identity (extract w))
 
-get :: StoreT s w a -> s
-get (StoreT _ s _) = s
+-- | Read the current position
+pos :: StoreT s w a -> s
+pos (StoreT _ s _) = s
 
-put :: Comonad w => s -> StoreT s w a -> StoreT s w a
-put s (StoreT f _ _) = storeT f s
+-- | Seek to an absolute location
+--
+-- > seek s = peek s . duplicate
+seek :: Comonad w => s -> StoreT s w a -> StoreT s w a
+seek s (StoreT f _ _) = storeT f s
 
-modify :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
-modify f (StoreT g s _) = storeT g (f s)
+-- | Seek to a relative location
+--
+-- > seeks f = peeks f . duplicate
+seeks :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
+seeks f (StoreT g s _) = storeT g (f s)
 
-experiment :: (Comonad w, Functor f) => f (s -> s) -> StoreT s w a -> f a
-experiment fs (StoreT g s _) = fmap (\f -> extract g (f s)) fs
+-- | Peek at a value at a given absolute location
+--
+-- > peek x . extend (peek y) = peek y
+peek :: Comonad w => s -> StoreT s w a -> a
+peek s (StoreT g _ _) = extract g s
+
+-- | Peek at a value at a given relative location
+peeks :: Comonad w => (s -> s) -> StoreT s w a -> a
+peeks f (StoreT g s _) = extract g (f s)
+
diff --git a/Control/Comonad/Trans/Store/Strict.hs b/Control/Comonad/Trans/Store/Strict.hs
--- a/Control/Comonad/Trans/Store/Strict.hs
+++ b/Control/Comonad/Trans/Store/Strict.hs
@@ -10,9 +10,9 @@
 --
 -- The strict store (state-in-context/costate) comonad transformer is subject to the laws:
 -- 
--- > x = put (get x) x
--- > y = get (put y x)
--- > put y x = put y (put z x)
+-- > x = seek (pos x) x
+-- > y = pos (seek y x)
+-- > seek y x = seek y (seek z x)
 --
 -- Thanks go to Russell O'Connor and Daniel Peebles for their help formulating 
 -- and proving the laws for this comonad transformer.
@@ -24,10 +24,9 @@
   -- * The Store comonad transformer
   , StoreT(..), runStoreT
   -- * Operations
-  , get
-  , put
-  , modify
-  , experiment
+  , pos
+  , seek, seeks
+  , peek, peeks
   ) where
 
 import Control.Comonad
@@ -82,14 +81,29 @@
 instance ComonadHoist (StoreT s) where
   cohoist (StoreT f s) = StoreT (Identity (extract f)) s
 
-get :: StoreT s w a -> s
-get (StoreT _ s) = s
+-- | Read the current position
+pos :: StoreT s w a -> s
+pos (StoreT _ s) = s
 
-put :: Comonad w => s -> StoreT s w a -> StoreT s w a
-put s (StoreT f _) = StoreT f s
+-- | Seek to an absolute location
+--
+-- > seek s = peek s . duplicate
+seek :: Comonad w => s -> StoreT s w a -> StoreT s w a
+seek s ~(StoreT f _) = StoreT f s
 
-modify :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
-modify f (StoreT g s) = StoreT g (f s)
+-- | Seek to a relative location
+--
+-- > seeks f = peeks f . duplicate
+seeks :: Comonad w => (s -> s) -> StoreT s w a -> StoreT s w a
+seeks f ~(StoreT g s) = StoreT g (f s)
 
-experiment :: (Comonad w, Functor f) => f (s -> s) -> StoreT s w a -> f a
-experiment fs (StoreT g s) = fmap (\f -> extract g (f s)) fs
+-- | Peek at a value at a given absolute location
+--
+-- > peek x . extend (peek y) = peek y
+peek :: Comonad w => s -> StoreT s w a -> a
+peek s (StoreT g _) = extract g s
+
+-- | Peek at a value at a given relative location
+peeks :: Comonad w => (s -> s) -> StoreT s w a -> a
+peeks f ~(StoreT g s) = extract g (f s)
+
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:       1.4.0
+version:       1.5.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE