diff --git a/Control/Comonad/Trans/Discont/Lazy.hs b/Control/Comonad/Trans/Discont/Lazy.hs
--- a/Control/Comonad/Trans/Discont/Lazy.hs
+++ b/Control/Comonad/Trans/Discont/Lazy.hs
@@ -26,9 +26,6 @@
   , runDiscont
   , DiscontT(..)
   , runDiscontT
-  -- * Combinators
-  , callCV
-  , label
   ) where
 
 import Data.Functor.Identity
@@ -79,8 +76,3 @@
 
 -- instance Apply w => Apply (DiscontT s w) where
 
-label :: Comonad w => DiscontT s w a -> s 
-label (DiscontT _ ws) = extract ws
-
-callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
-callCV ~(DiscontT k s) = k s (DiscontT (\s' ~(DiscontT k' _) -> k' s') s)
diff --git a/Control/Comonad/Trans/Discont/Memo.hs b/Control/Comonad/Trans/Discont/Memo.hs
--- a/Control/Comonad/Trans/Discont/Memo.hs
+++ b/Control/Comonad/Trans/Discont/Memo.hs
@@ -31,9 +31,6 @@
   , DiscontT
   , discontT 
   , runDiscontT
-  -- * Combinators
-  , callCV
-  , label
   ) where
 
 import Data.Functor.Identity
@@ -86,9 +83,3 @@
   lower (DiscontT f s _) = extend f s
 
 -- instance Apply w => Apply (DiscontT s w) where
-
-label :: Comonad w => DiscontT s w a -> s 
-label (DiscontT _ ws _) = extract ws
-
-callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
-callCV (DiscontT k s _) = k s (discontT (\s' (DiscontT k' _ _) -> k' s') s)
diff --git a/Control/Comonad/Trans/Discont/Strict.hs b/Control/Comonad/Trans/Discont/Strict.hs
--- a/Control/Comonad/Trans/Discont/Strict.hs
+++ b/Control/Comonad/Trans/Discont/Strict.hs
@@ -25,9 +25,6 @@
   , runDiscont
   , DiscontT(..)
   , runDiscontT
-  -- * Combinators
-  , callCV
-  , label
   ) where
 
 import Data.Functor.Identity
@@ -76,8 +73,3 @@
 instance ComonadTrans (DiscontT s) where
   lower (DiscontT f s) = extend f s
 
-callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
-callCV (DiscontT k s) = k s (DiscontT (\s' (DiscontT k' _) -> k' s') s)
-
-label :: Comonad w => DiscontT s w a -> s
-label (DiscontT _ ws) = extract ws
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.8.0.3
+version:       2.0.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -25,12 +25,12 @@
 library
   build-depends: 
     base >= 4 && < 5,
-    comonad >= 1.1 && < 1.2,
+    comonad >= 1.1.1 && < 1.2,
     containers >= 0.3 && < 0.5,
     contravariant >= 0.1.2 && < 0.2,
     distributive >= 0.2 && < 0.3,
-    semigroupoids >= 1.2.2.3 && < 1.3,
-    semigroups >= 0.6 && < 0.7,
+    semigroupoids >= 1.2.4 && < 1.3,
+    semigroups >= 0.7.1 && < 0.8,
     transformers >= 0.2.0 && <= 0.3
 
   if flag(DeriveDataTypeable)