diff --git a/Control/Comonad/Cofree.hs b/Control/Comonad/Cofree.hs
--- a/Control/Comonad/Cofree.hs
+++ b/Control/Comonad/Cofree.hs
@@ -42,7 +42,6 @@
 import Data.Distributive
 import Data.Foldable
 import Data.Semigroup
-import Data.Monoid
 import Data.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup.Traversable
diff --git a/Control/Comonad/Cofree/Class.hs b/Control/Comonad/Cofree/Class.hs
--- a/Control/Comonad/Cofree/Class.hs
+++ b/Control/Comonad/Cofree/Class.hs
@@ -29,7 +29,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 (Functor f, Comonad w) => ComonadCofree f w | w -> f where
diff --git a/free.cabal b/free.cabal
--- a/free.cabal
+++ b/free.cabal
@@ -1,6 +1,6 @@
 name:          free
 category:      Control, Monads
-version:       2.0.1.1
+version:       2.0.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -25,16 +25,16 @@
     UndecidableInstances
 
   build-depends: 
-    base >= 4 && < 5,
-    distributive >= 0.2 && < 0.3,
-    transformers >= 0.2.0 && <= 0.3,
-    mtl >= 2.0.1.0 && < 2.1,
-    semigroupoids >= 1.2.4 && <= 1.3,
-    comonad >= 1.1.1 && < 1.2,
-    comonad-transformers >= 2.0 && < 2.1,
-    comonads-fd >= 2.0 && < 2.1,
-    data-lens >= 2.0 && < 2.1,
-    semigroups >= 0.7.1 && < 0.8
+    base                 >= 4       && < 5,
+    distributive         >= 0.2     && < 0.3,
+    transformers         >= 0.2.0   && < 0.3,
+    mtl                  >= 2.0.1.0 && < 2.1,
+    semigroupoids        >= 1.2.4   && < 1.3,
+    comonad              >= 1.1.1.1 && < 1.2,
+    comonad-transformers >= 2.0.2   && < 2.1,
+    comonads-fd          >= 2.0.2   && < 2.1,
+    data-lens            >= 2.0     && < 2.1,
+    semigroups           >= 0.8     && < 0.9
 
   if impl(ghc)
     cpp-options: -DGHC_TYPEABLE