diff --git a/src/Control/Monad/Trans/RWS/CPS/Internal.hs b/src/Control/Monad/Trans/RWS/CPS/Internal.hs
--- a/src/Control/Monad/Trans/RWS/CPS/Internal.hs
+++ b/src/Control/Monad/Trans/RWS/CPS/Internal.hs
@@ -385,14 +385,14 @@
 -- continuation.
 liftCallCC :: CallCC m (a,s,w) (b,s,w) -> CallCC (RWST r w s m) a b
 liftCallCC callCC f = RWST $ \r s w ->
-  callCC $ \c -> unRWST (f (\a -> RWST $ \_ _ w' -> c (a, s, w'))) r s w
+  callCC $ \c -> unRWST (f (\a -> RWST $ \_ _ _ -> c (a, s, w))) r s w
 {-# INLINE liftCallCC #-}
 
 -- | In-situ lifting of a @callCC@ operation to the new monad.
 -- This version uses the current state on entering the continuation.
 liftCallCC' :: CallCC m (a,s,w) (b,s,w) -> CallCC (RWST r w s m) a b
 liftCallCC' callCC f = RWST $ \r s w ->
-  callCC $ \c -> unRWST (f (\a -> RWST $ \_ s' w' -> c (a, s', w'))) r s w
+  callCC $ \c -> unRWST (f (\a -> RWST $ \_ s' _ -> c (a, s', w))) r s w
 {-# INLINE liftCallCC' #-}
 
 -- | Lift a @catchE@ operation to the new monad.
diff --git a/src/Control/Monad/Trans/Writer/CPS.hs b/src/Control/Monad/Trans/Writer/CPS.hs
--- a/src/Control/Monad/Trans/Writer/CPS.hs
+++ b/src/Control/Monad/Trans/Writer/CPS.hs
@@ -50,7 +50,6 @@
   censor,
   -- * Lifting other operations
   liftCallCC,
-  liftCallCC',
   liftCatch,
 ) where
 
diff --git a/src/Control/Monad/Trans/Writer/CPS/Internal.hs b/src/Control/Monad/Trans/Writer/CPS/Internal.hs
--- a/src/Control/Monad/Trans/Writer/CPS/Internal.hs
+++ b/src/Control/Monad/Trans/Writer/CPS/Internal.hs
@@ -50,7 +50,6 @@
   censor,
   -- * Lifting other operations
   liftCallCC,
-  liftCallCC',
   liftCatch,
 ) where
 
@@ -270,14 +269,6 @@
 liftCallCC callCC f = WriterT $ \w ->
   callCC $ \c -> unWriterT (f (\a -> WriterT $ \_ -> c (a, w))) w
 {-# INLINE liftCallCC #-}
-
--- | In-situ lifting of a @callCC@ operation to the new monad.
--- This version uses the current state on entering the continuation.
--- It does not satisfy the uniformity property (see "Control.Monad.Signatures").
-liftCallCC' :: CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b
-liftCallCC' callCC f = WriterT $ \w ->
-  callCC $ \c -> unWriterT (f (\a -> WriterT $ \w' -> c (a, w'))) w
-{-# INLINE liftCallCC' #-}
 
 -- | Lift a @catchE@ operation to the new monad.
 liftCatch :: Catch e m (a, w) -> Catch e (WriterT w m) a
diff --git a/writer-cps-transformers.cabal b/writer-cps-transformers.cabal
--- a/writer-cps-transformers.cabal
+++ b/writer-cps-transformers.cabal
@@ -3,7 +3,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           writer-cps-transformers
-version:        0.1.1.2
+version:        0.1.1.3
 license:        BSD3
 license-file:   LICENSE
 tested-with:    GHC == 7.0.4, GHC == 7.2.2, GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1