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
@@ -1,8 +1,11 @@
-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Env.Class
--- Copyright   :  (C) 2008-2011 Edward Kmett
+-- Copyright   :  (C) 2008-2012 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
@@ -45,5 +48,5 @@
 instance ComonadEnv e w => ComonadEnv e (IdentityT w) where
   ask = lowerAsk
 
-instance (ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (TracedT m w) where
+instance (ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w) where
   ask = lowerAsk
diff --git a/Control/Comonad/Identity.hs b/Control/Comonad/Identity.hs
--- a/Control/Comonad/Identity.hs
+++ b/Control/Comonad/Identity.hs
@@ -1,14 +1,14 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Identity
--- Copyright   :  (C) 2008-2011 Edward Kmett
+-- Copyright   :  (C) 2008-2012 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.Identity ( 
+module Control.Comonad.Identity (
     module Control.Comonad
   , module Data.Functor.Identity
   , module Control.Comonad.Trans.Identity
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
@@ -1,8 +1,11 @@
-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Store.Class
--- Copyright   :  (C) 2008-2011 Edward Kmett
+-- Copyright   :  (C) 2008-2012 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
@@ -69,7 +72,7 @@
   peek = lowerPeek
   experiment = lowerExperiment
 
-instance (ComonadStore s w, Semigroup m, Monoid m) => ComonadStore s (TracedT m w) where
+instance (ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w) where
   pos = lowerPos
   peek = lowerPeek
   experiment = lowerExperiment
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
@@ -1,8 +1,11 @@
-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Comonad.Traced.Class
--- Copyright   :  (C) 2008-2011 Edward Kmett
+-- Copyright   :  (C) 2008-2012 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
@@ -29,7 +32,7 @@
 traces f wa = trace (f (extract wa)) wa
 {-# INLINE traces #-}
 
-instance (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (Traced.TracedT m w) where
+instance (Comonad w, Monoid m) => ComonadTraced m (Traced.TracedT m w) where
   trace = Traced.trace
 
 lowerTrace :: (ComonadTrans t, ComonadTraced m w) => m -> t w a -> a
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.1.2
+version:       3.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -9,7 +9,7 @@
 stability:     experimental
 homepage:      http://github.com/ekmett/comonads-fd/
 bug-reports:   http://github.com/ekmett/comonads-fd/issues
-copyright:     Copyright (C) 2008-2011 Edward A. Kmett
+copyright:     Copyright (C) 2008-2012 Edward A. Kmett
 synopsis:      Comonad transformers using functional dependencies
 description:   Comonad transformers using functional dependencies
 build-type:    Simple
@@ -30,8 +30,8 @@
     transformers         >= 0.2     && < 0.4,
     mtl                  >= 2.0     && < 2.2,
     semigroups           >= 0.8.3.1 && < 0.9,
-    comonad              >= 1.1.1.5 && < 1.2,
-    comonad-transformers >= 2.1.2   && < 2.2
+    comonad              >= 3.0     && < 3.1,
+    comonad-transformers >= 3.0     && < 3.1
 
   exposed-modules:
     Control.Comonad.Env