diff --git a/Control/Comonad/Env.hs b/Control/Comonad/Env.hs
--- a/Control/Comonad/Env.hs
+++ b/Control/Comonad/Env.hs
@@ -7,9 +7,32 @@
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
+--
+-- The Env comonad (aka the Coreader, Environment, or Product comonad)
+--
+-- A co-Kleisli arrow in the Env comonad is isomorphic to a Kleisli arrow
+-- in the reader monad.
+--
+-- (a -> e -> m) ~ (a, e) -> m ~ Env e a -> m
 ----------------------------------------------------------------------------
-module Control.Comonad.Env ( 
-    module Control.Comonad.Env.Lazy
+module Control.Comonad.Env (
+  -- * ComonadEnv class
+    ComonadEnv(..)
+  , asks
+  , local
+  -- * The Env comonad
+  , Env
+  , env
+  , runEnv
+  -- * The EnvT comonad transformer
+  , EnvT(..)
+  , runEnvT
+  -- * Re-exported modules
+  , module Control.Comonad
+  , module Control.Comonad.Trans.Class
   ) where
 
-import Control.Comonad.Env.Lazy
+import Control.Comonad
+import Control.Comonad.Env.Class (ComonadEnv(..), asks)
+import Control.Comonad.Trans.Class
+import Control.Comonad.Trans.Env (Env, env, runEnv, EnvT(..), runEnvT, local)
diff --git a/Control/Comonad/Env/Class.hs b/Control/Comonad/Env/Class.hs
--- a/Control/Comonad/Env/Class.hs
+++ b/Control/Comonad/Env/Class.hs
@@ -9,26 +9,18 @@
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
 ----------------------------------------------------------------------------
-module Control.Comonad.Env.Class 
+module Control.Comonad.Env.Class
   ( ComonadEnv(..)
   , asks
   ) where
 
 import Control.Comonad
 import Control.Comonad.Trans.Class
-import qualified Control.Comonad.Trans.Env.Lazy as Lazy
-import qualified Control.Comonad.Trans.Store.Lazy as Lazy
-import qualified Control.Comonad.Trans.Discont.Lazy as Lazy
-import qualified Control.Comonad.Trans.Env.Strict as Strict
-import qualified Control.Comonad.Trans.Store.Strict as Strict
-import qualified Control.Comonad.Trans.Discont.Strict as Strict
-import qualified Control.Comonad.Trans.Traced as Simple
-import qualified Control.Comonad.Trans.Traced.Memo as Memo
-import qualified Control.Comonad.Trans.Store.Memo as Memo
-import qualified Control.Comonad.Trans.Discont.Memo as Memo
-import Control.Comonad.Trans.Identity 
+import qualified Control.Comonad.Trans.Env as Env
+import Control.Comonad.Trans.Store
+import Control.Comonad.Trans.Traced
+import Control.Comonad.Trans.Identity
 import Data.Semigroup
--- import Data.Ix
 
 class Comonad w => ComonadEnv e w | w -> e where
   ask :: w a -> e
@@ -37,11 +29,8 @@
 asks f wa = f (ask wa)
 {-# INLINE asks #-}
 
-instance Comonad w => ComonadEnv e (Lazy.EnvT e w) where
-  ask = Lazy.ask
-
-instance Comonad w => ComonadEnv e (Strict.EnvT e w) where
-  ask = Strict.ask
+instance Comonad w => ComonadEnv e (Env.EnvT e w) where
+  ask = Env.ask
 
 instance ComonadEnv e ((,)e) where
   ask = fst
@@ -50,35 +39,11 @@
 lowerAsk = ask . lower
 {-# INLINE lowerAsk #-}
 
--- All of these require UndecidableInstances because they do not satisfy the coverage condition
-
--- instance (ComonadEnv e w, Ix i) => ComonadEnv e (PointerT i w) where
---   ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Strict.StoreT t w) where
-  ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Strict.DiscontT t w) where
-  ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Lazy.StoreT t w) where
-  ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Lazy.DiscontT t w) where
-  ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Memo.StoreT t w) where
-  ask = lowerAsk
-
-instance ComonadEnv e w => ComonadEnv e (Memo.DiscontT t w) where
+instance ComonadEnv e w => ComonadEnv e (StoreT t w) where
   ask = lowerAsk
 
 instance ComonadEnv e w => ComonadEnv e (IdentityT w) where
   ask = lowerAsk
 
-instance (ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (Simple.TracedT m w) where
-  ask = lowerAsk
-
-instance (ComonadEnv e w, Monoid m) => ComonadEnv e (Memo.TracedT m w) where
+instance (ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (TracedT m w) where
   ask = lowerAsk
-
diff --git a/Control/Comonad/Env/Lazy.hs b/Control/Comonad/Env/Lazy.hs
deleted file mode 100644
--- a/Control/Comonad/Env/Lazy.hs
+++ /dev/null
@@ -1,38 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Env.Lazy
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
---
--- The Env comonad (aka the Coreader, Environment, or Product comonad)
--- 
--- A co-Kleisli arrow in the Env comonad is isomorphic to a Kleisli arrow
--- in the reader monad.
---
--- (a -> e -> m) ~ (a, e) -> m ~ Env e a -> m
-----------------------------------------------------------------------------
-module Control.Comonad.Env.Lazy ( 
-  -- * ComonadEnv class
-    ComonadEnv(..)
-  , asks
-  , local
-  -- * The Env comonad
-  , Env
-  , env
-  , runEnv
-  -- * The EnvT comonad transformer
-  , EnvT(..)
-  , runEnvT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Env.Class (ComonadEnv(..), asks)
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Env.Lazy (Env, env, runEnv, EnvT(..), runEnvT, local)
diff --git a/Control/Comonad/Env/Strict.hs b/Control/Comonad/Env/Strict.hs
deleted file mode 100644
--- a/Control/Comonad/Env/Strict.hs
+++ /dev/null
@@ -1,38 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Env.Strict
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
---
--- The Env comonad (aka the Coreader, Environment, or Product comonad)
--- 
--- A co-Kleisli arrow in the Env comonad is isomorphic to a Kleisli arrow
--- in the reader monad.
---
--- (a -> e -> m) ~ (a, e) -> m ~ Env e a -> m
-----------------------------------------------------------------------------
-module Control.Comonad.Env.Strict ( 
-  -- * ComonadEnv class
-    ComonadEnv(..)
-  , asks
-  , local
-  -- * The Env comonad
-  , Env
-  , env
-  , runEnv
-  -- * The EnvT comonad transformer
-  , EnvT(..)
-  , runEnvT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Env.Class (ComonadEnv(..), asks)
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Env.Strict (Env, env, runEnv, EnvT(..), runEnvT, local)
diff --git a/Control/Comonad/Store.hs b/Control/Comonad/Store.hs
--- a/Control/Comonad/Store.hs
+++ b/Control/Comonad/Store.hs
@@ -8,8 +8,22 @@
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
 ----------------------------------------------------------------------------
-module Control.Comonad.Store ( 
-  module Control.Comonad.Store.Lazy
+module Control.Comonad.Store (
+  -- * ComonadStore class
+    ComonadStore(..)
+  -- * The Store comonad
+  , Store
+  , store
+  , runStore
+  -- * The StoreT comonad transformer
+  , StoreT(..)
+  , runStoreT
+  -- * Re-exported modules
+  , module Control.Comonad
+  , module Control.Comonad.Trans.Class
   ) where
 
-import Control.Comonad.Store.Lazy
+import Control.Comonad
+import Control.Comonad.Store.Class (ComonadStore(..))
+import Control.Comonad.Trans.Class
+import Control.Comonad.Trans.Store (Store, store, runStore, StoreT(..), runStoreT)
diff --git a/Control/Comonad/Store/Class.hs b/Control/Comonad/Store/Class.hs
--- a/Control/Comonad/Store/Class.hs
+++ b/Control/Comonad/Store/Class.hs
@@ -9,7 +9,7 @@
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
 ----------------------------------------------------------------------------
-module Control.Comonad.Store.Class 
+module Control.Comonad.Store.Class
   ( ComonadStore(..)
   , lowerPos
   , lowerPeek
@@ -17,20 +17,10 @@
 
 import Control.Comonad
 import Control.Comonad.Trans.Class
-import qualified Control.Comonad.Trans.Env.Strict as Strict
-import qualified Control.Comonad.Trans.Store.Strict as Strict
-import qualified Control.Comonad.Trans.Discont.Strict as Strict
-
-import qualified Control.Comonad.Trans.Env.Lazy as Lazy
-import qualified Control.Comonad.Trans.Store.Lazy as Lazy
-import qualified Control.Comonad.Trans.Discont.Lazy as Lazy
-
-import qualified Control.Comonad.Trans.Traced as Simple
-
-import qualified Control.Comonad.Trans.Traced.Memo as Memo
-import qualified Control.Comonad.Trans.Store.Memo as Memo
-import qualified Control.Comonad.Trans.Discont.Memo as Memo
-import Control.Comonad.Trans.Identity 
+import Control.Comonad.Trans.Env
+import qualified Control.Comonad.Trans.Store as Store
+import Control.Comonad.Trans.Traced
+import Control.Comonad.Trans.Identity
 import Data.Semigroup
 
 class Comonad w => ComonadStore s w | w -> s where
@@ -39,35 +29,19 @@
 
   peeks :: (s -> s) -> w a -> a
   peeks f w = peek (f (pos w)) w
-  
+
   seek :: s -> w a -> w a
   seek s = peek s . duplicate
-    
+
   seeks :: (s -> s) -> w a -> w a
   seeks f = peeks f . duplicate
 
-instance Comonad w => ComonadStore s (Strict.StoreT s w) where
-  pos = Strict.pos
-  peek = Strict.peek
-  peeks = Strict.peeks
-  seek = Strict.seek
-  seeks = Strict.seeks
-
-instance Comonad w => ComonadStore s (Lazy.StoreT s w) where
-  pos = Lazy.pos
-  peek = Lazy.peek
-  peeks = Lazy.peeks
-  seek = Lazy.seek
-  seeks = Lazy.seeks
-
-instance Comonad w => ComonadStore s (Memo.StoreT s w) where
-  pos = Memo.pos
-  peek = Memo.peek
-  peeks = Memo.peeks
-  seek = Memo.seek
-  seeks = Memo.seeks
-
--- All of these require UndecidableInstances because they do not satisfy the coverage condition
+instance Comonad w => ComonadStore s (Store.StoreT s w) where
+  pos = Store.pos
+  peek = Store.peek
+  peeks = Store.peeks
+  seek = Store.seek
+  seeks = Store.seeks
 
 lowerPos :: (ComonadTrans t, ComonadStore s w) => t w a -> s
 lowerPos = pos . lower
@@ -77,34 +51,14 @@
 lowerPeek s = peek s . lower
 {-# INLINE lowerPeek #-}
 
-instance ComonadStore s w => ComonadStore s (Lazy.DiscontT k w) where
-  pos = lowerPos
-  peek = lowerPeek
-
-instance ComonadStore s w => ComonadStore s (Memo.DiscontT k w) where
-  pos = lowerPos
-  peek = lowerPeek
-
-instance ComonadStore s w => ComonadStore s (Strict.DiscontT k w) where
-  pos = lowerPos
-  peek = lowerPeek
-
 instance ComonadStore s w => ComonadStore s (IdentityT w) where
   pos = lowerPos
   peek = lowerPeek
 
-instance ComonadStore s w => ComonadStore s (Lazy.EnvT e w) where
-  pos = lowerPos
-  peek = lowerPeek
-
-instance ComonadStore s w => ComonadStore s (Strict.EnvT e w) where
-  pos = lowerPos
-  peek = lowerPeek
-
-instance (ComonadStore s w, Semigroup m, Monoid m) => ComonadStore s (Simple.TracedT m w) where
+instance ComonadStore s w => ComonadStore s (EnvT e w) where
   pos = lowerPos
   peek = lowerPeek
 
-instance (ComonadStore s w, Monoid m) => ComonadStore s (Memo.TracedT m w) where
+instance (ComonadStore s w, Semigroup m, Monoid m) => ComonadStore s (TracedT m w) where
   pos = lowerPos
   peek = lowerPeek
diff --git a/Control/Comonad/Store/Lazy.hs b/Control/Comonad/Store/Lazy.hs
deleted file mode 100644
--- a/Control/Comonad/Store/Lazy.hs
+++ /dev/null
@@ -1,29 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Store.Lazy
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
-----------------------------------------------------------------------------
-module Control.Comonad.Store.Lazy ( 
-  -- * ComonadStore class
-    ComonadStore(..)
-  -- * The Store comonad
-  , Store
-  , store
-  , runStore
-  -- * The StoreT comonad transformer
-  , StoreT(..)
-  , runStoreT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Store.Class (ComonadStore(..))
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Store.Lazy (Store, store, runStore, StoreT(..), runStoreT)
diff --git a/Control/Comonad/Store/Memo.hs b/Control/Comonad/Store/Memo.hs
deleted file mode 100644
--- a/Control/Comonad/Store/Memo.hs
+++ /dev/null
@@ -1,30 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Store.Memo
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
-----------------------------------------------------------------------------
-module Control.Comonad.Store.Memo ( 
-  -- * ComonadStore class
-    ComonadStore(..)
-  -- * The Store comonad
-  , Store
-  , store
-  , runStore
-  -- * The StoreT comonad transformer
-  , StoreT
-  , storeT
-  , runStoreT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Store.Class (ComonadStore(..))
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Store.Memo (Store, store, runStore, StoreT, storeT, runStoreT)
diff --git a/Control/Comonad/Store/Strict.hs b/Control/Comonad/Store/Strict.hs
deleted file mode 100644
--- a/Control/Comonad/Store/Strict.hs
+++ /dev/null
@@ -1,29 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Store.Strict
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
-----------------------------------------------------------------------------
-module Control.Comonad.Store.Strict ( 
-  -- * ComonadStore class
-    ComonadStore(..)
-  -- * The Store comonad
-  , Store
-  , store
-  , runStore
-  -- * The StoreT comonad transformer
-  , StoreT(..)
-  , runStoreT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Store.Class (ComonadStore(..))
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Store.Strict (Store, store, runStore, StoreT(..), runStoreT)
diff --git a/Control/Comonad/Traced.hs b/Control/Comonad/Traced.hs
--- a/Control/Comonad/Traced.hs
+++ b/Control/Comonad/Traced.hs
@@ -8,7 +8,7 @@
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
 ----------------------------------------------------------------------------
-module Control.Comonad.Traced ( 
+module Control.Comonad.Traced (
   -- * ComonadTraced class
     ComonadTraced(..)
   , traces
diff --git a/Control/Comonad/Traced/Class.hs b/Control/Comonad/Traced/Class.hs
--- a/Control/Comonad/Traced/Class.hs
+++ b/Control/Comonad/Traced/Class.hs
@@ -9,24 +9,17 @@
 -- Stability   :  experimental
 -- Portability :  non-portable (fundeps, MPTCs)
 ----------------------------------------------------------------------------
-module Control.Comonad.Traced.Class 
+module Control.Comonad.Traced.Class
   ( ComonadTraced(..)
   , traces
   ) where
 
 import Control.Comonad
 import Control.Comonad.Trans.Class
-import qualified Control.Comonad.Trans.Env.Strict as Strict
-import qualified Control.Comonad.Trans.Store.Strict as Strict
-import qualified Control.Comonad.Trans.Discont.Strict as Strict
-import qualified Control.Comonad.Trans.Env.Lazy as Lazy
-import qualified Control.Comonad.Trans.Store.Lazy as Lazy
-import qualified Control.Comonad.Trans.Discont.Lazy as Lazy
-import qualified Control.Comonad.Trans.Traced as Simple
-import qualified Control.Comonad.Trans.Traced.Memo as Memo
-import qualified Control.Comonad.Trans.Store.Memo as Memo
-import qualified Control.Comonad.Trans.Discont.Memo as Memo
-import Control.Comonad.Trans.Identity 
+import Control.Comonad.Trans.Env
+import Control.Comonad.Trans.Store
+import qualified Control.Comonad.Trans.Traced as Traced
+import Control.Comonad.Trans.Identity
 import Data.Semigroup
 
 class Comonad w => ComonadTraced m w | w -> m where
@@ -36,11 +29,8 @@
 traces f wa = trace (f (extract wa)) wa
 {-# INLINE traces #-}
 
-instance (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (Simple.TracedT m w) where
-  trace = Simple.trace
-
-instance (Comonad w, Monoid m) => ComonadTraced m (Memo.TracedT m w) where
-  trace = Memo.trace
+instance (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (Traced.TracedT m w) where
+  trace = Traced.trace
 
 lowerTrace :: (ComonadTrans t, ComonadTraced m w) => m -> t w a -> a
 lowerTrace m = trace m . lower
@@ -51,27 +41,8 @@
 instance ComonadTraced m w => ComonadTraced m (IdentityT w) where
   trace = lowerTrace
 
-instance ComonadTraced m w => ComonadTraced m (Strict.EnvT e w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Strict.DiscontT k w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Strict.StoreT s w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Lazy.EnvT e w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Lazy.DiscontT k w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Lazy.StoreT s w) where
-  trace = lowerTrace
-
-instance ComonadTraced m w => ComonadTraced m (Memo.DiscontT k w) where
+instance ComonadTraced m w => ComonadTraced m (EnvT e w) where
   trace = lowerTrace
 
-instance ComonadTraced m w => ComonadTraced m (Memo.StoreT s w) where
+instance ComonadTraced m w => ComonadTraced m (StoreT s w) where
   trace = lowerTrace
-
diff --git a/Control/Comonad/Traced/Memo.hs b/Control/Comonad/Traced/Memo.hs
deleted file mode 100644
--- a/Control/Comonad/Traced/Memo.hs
+++ /dev/null
@@ -1,31 +0,0 @@
------------------------------------------------------------------------------
--- |
--- Module      :  Control.Comonad.Traced.Memo
--- Copyright   :  (C) 2008-2011 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  experimental
--- Portability :  non-portable (fundeps, MPTCs)
-----------------------------------------------------------------------------
-module Control.Comonad.Traced.Memo ( 
-  -- * ComonadTraced class
-    ComonadTraced(..)
-  , traces
-  -- * The Traced comonad
-  , Traced
-  , traced
-  , runTraced
-  -- * The TracedT comonad transformer
-  , TracedT
-  , tracedT
-  , runTracedT
-  -- * Re-exported modules
-  , module Control.Comonad
-  , module Control.Comonad.Trans.Class
-  ) where
-
-import Control.Comonad
-import Control.Comonad.Traced.Class (ComonadTraced(..), traces)
-import Control.Comonad.Trans.Class
-import Control.Comonad.Trans.Traced.Memo (Traced, traced, runTraced, TracedT, tracedT, runTracedT)
diff --git a/comonads-fd.cabal b/comonads-fd.cabal
--- a/comonads-fd.cabal
+++ b/comonads-fd.cabal
@@ -1,6 +1,6 @@
 name:          comonads-fd
 category:      Control, Comonads
-version:       2.0.2.1
+version:       2.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -25,26 +25,20 @@
     UndecidableInstances
   build-depends:
     base                 >= 4       && < 5,
-    transformers         >= 0.2     && < 0.3,
-    mtl                  >= 2.0.1.0 && <= 2.1,
-    semigroups           >= 0.8     && < 0.9,
-    comonad              >= 1.1.1.1 && < 1.2,
-    comonad-transformers >= 2.0.3   && < 2.1
+    transformers         >= 0.3     && < 0.4,
+    mtl                  >= 2.1     && < 2.2,
+    semigroups           >= 0.8.2   && < 0.9,
+    comonad              >= 1.1.1.3 && < 1.2,
+    comonad-transformers >= 2.1     && < 2.2
 
   exposed-modules:
     Control.Comonad.Env
     Control.Comonad.Env.Class
-    Control.Comonad.Env.Strict
-    Control.Comonad.Env.Lazy
     Control.Comonad.Identity
     Control.Comonad.Store
     Control.Comonad.Store.Class
-    Control.Comonad.Store.Strict
-    Control.Comonad.Store.Lazy
-    Control.Comonad.Store.Memo
     Control.Comonad.Traced
     Control.Comonad.Traced.Class
-    Control.Comonad.Traced.Memo
 
   ghc-options:      -Wall