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
@@ -27,7 +27,6 @@
 import qualified Control.Comonad.Trans.Store.Memo as Memo
 import qualified Control.Comonad.Trans.Discont.Memo as Memo
 import Control.Comonad.Trans.Identity 
-import Data.Monoid
 import Data.Semigroup
 -- import Data.Ix
 
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
@@ -31,7 +31,6 @@
 import qualified Control.Comonad.Trans.Store.Memo as Memo
 import qualified Control.Comonad.Trans.Discont.Memo as Memo
 import Control.Comonad.Trans.Identity 
-import Data.Monoid
 import Data.Semigroup
 
 class Comonad w => ComonadStore s w | w -> s where
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
@@ -27,7 +27,6 @@
 import qualified Control.Comonad.Trans.Store.Memo as Memo
 import qualified Control.Comonad.Trans.Discont.Memo as Memo
 import Control.Comonad.Trans.Identity 
-import Data.Monoid
 import Data.Semigroup
 
 class Comonad w => ComonadTraced m w | w -> m where
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.1
+version:       2.0.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -24,12 +24,12 @@
     FlexibleInstances
     UndecidableInstances
   build-depends: 
-    base >= 4 && < 5,
-    transformers >= 0.2 && < 0.3,
-    mtl >= 2.0.1.0 && <= 2.1,
-    semigroups >= 0.7.1 && < 0.8,
-    comonad >= 1.1.1 && < 1.2,
-    comonad-transformers >= 2.0 && < 2.1
+    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     && < 2.1
 
   exposed-modules:
     Control.Comonad.Env