ContT is:exact

newtype ContT (r :: k) (m :: k -> Type) a
mtl Control.Monad.Cont, monads-tf Control.Monad.Cont, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT
The continuation monad transformer. Can be used to add continuation handling to any type constructor: the Monad instance and most of the operations do not require m to be a monad. ContT is not a functor on the category of monads, and many operations cannot be lifted through it.
ContT :: ((a -> m r) -> m r) -> ContT (r :: k) (m :: k -> Type) a
mtl Control.Monad.Cont, monads-tf Control.Monad.Cont, rebase Rebase.Prelude, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT
newtype ContT r m a
transformers Control.Monad.Trans.Cont
The continuation monad transformer. Can be used to add continuation handling to any type constructor: the Monad instance and most of the operations do not require m to be a monad. ContT is not a functor on the category of monads, and many operations cannot be lifted through it. ContT r m is strict if and only if m is.
ContT :: ((a -> m r) -> m r) -> ContT r m a
transformers Control.Monad.Trans.Cont
newtype () => ContT (r :: k) (m :: k -> Type) a
rebase Rebase.Prelude
The continuation monad transformer. Can be used to add continuation handling to any type constructor: the Monad instance and most of the operations do not require m to be a monad. ContT is not a functor on the category of monads, and many operations cannot be lifted through it.
module Control.Monad.Ology.Specific.ContT
monadology