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
@@ -30,10 +30,14 @@
   , peek, peeks
   ) where
 
+import Control.Applicative
 import Control.Comonad
 import Control.Comonad.Hoist.Class
 import Control.Comonad.Trans.Class
 import Data.Functor.Identity
+import Data.Functor.Apply
+import Data.Monoid
+import Data.Semigroup
 
 #ifdef __GLASGOW_HASKELL__
 import Data.Typeable
@@ -68,6 +72,13 @@
 
 instance Functor w => Functor (StoreT s w) where
   fmap f ~(StoreT wf s) = StoreT (fmap (f .) wf) s
+
+instance (Apply w, Semigroup s) => Apply (StoreT s w) where
+  ~(StoreT ff m) <.> ~(StoreT fa n) = StoreT ((<*>) <$> ff <.> fa) (m <> n)
+
+instance (Applicative w, Semigroup s, Monoid s) => Applicative (StoreT s w) where
+  pure a = StoreT (pure (const a)) mempty
+  ~(StoreT ff m) <*> ~(StoreT fa n) = StoreT ((<*>) <$> ff <*> fa) (m `mappend` n)
 
 instance Extend w => Extend (StoreT s w) where
   duplicate ~(StoreT wf s) = StoreT (extend StoreT wf) 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
@@ -32,10 +32,14 @@
   , peek, peeks
   ) where
 
+import Control.Applicative
 import Control.Comonad
 import Control.Comonad.Hoist.Class
 import Control.Comonad.Trans.Class
 import Data.Functor.Identity
+import Data.Functor.Apply
+import Data.Monoid
+import Data.Semigroup
 
 #ifdef __GLASGOW_HASKELL__
 import Data.Typeable
@@ -76,6 +80,13 @@
 
 instance Functor w => Functor (StoreT s w) where
   fmap f (StoreT wf s w) = StoreT (fmap (f .) wf) s (fmap f w)
+
+instance (Apply w, Semigroup s) => Apply (StoreT s w) where
+  StoreT ff m _ <.> StoreT fa n _ = storeT ((<*>) <$> ff <.> fa) (m <> n)
+
+instance (Applicative w, Semigroup s, Monoid s) => Applicative (StoreT s w) where
+  pure a = storeT (pure (const a)) mempty
+  StoreT ff m _ <*> StoreT fa n _ = storeT ((<*>) <$> ff <*> fa) (m `mappend` n)
 
 instance Extend w => Extend (StoreT s w) where
   duplicate (StoreT wf s _) = storeT (extend storeT wf) 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
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Trans.Store.Strict
@@ -29,10 +30,14 @@
   , peek, peeks
   ) where
 
+import Control.Applicative
 import Control.Comonad
 import Control.Comonad.Hoist.Class
 import Control.Comonad.Trans.Class
 import Data.Functor.Identity
+import Data.Functor.Apply
+import Data.Semigroup
+import Data.Monoid
 
 #ifdef __GLASGOW_HASKELL__
 import Data.Typeable
@@ -67,6 +72,13 @@
 
 instance Functor w => Functor (StoreT s w) where
   fmap f (StoreT wf s) = StoreT (fmap (f .) wf) s
+
+instance (Apply w, Semigroup s) => Apply (StoreT s w) where
+  StoreT ff m <.> StoreT fa n = StoreT ((<*>) <$> ff <.> fa) (m <> n)
+
+instance (Applicative w, Semigroup s, Monoid s) => Applicative (StoreT s w) where
+  pure a = StoreT (pure (const a)) mempty
+  StoreT ff m <*> StoreT fa n = StoreT ((<*>) <$> ff <*> fa) (m `mappend` n)
 
 instance Extend w => Extend (StoreT s w) where
   duplicate (StoreT wf s) = StoreT (extend StoreT wf) 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.5.0.1
+version:       1.5.0.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -25,6 +25,7 @@
 library
   build-depends: 
     base >= 4 && < 4.4,
+    MemoTrie >= 0.4.9 && < 0.5,
     comonad >= 1.0.1 && < 1.1,
     distributive >= 0.1 && < 0.2,
     semigroupoids >= 1.0 && < 1.2,