Portability  rank2 Types required for correctness of shift, but they can be removed 

Stability  experimental 
Maintainer  Edward Kmett <ekmett@gmail.com> 
Documentation
class IxMonad m => IxMonadCont m whereSource
IxMonadCont IxCont  
Monad m => IxMonadCont (IxContT m) 
newtype IxContT m r o a Source
IxContT  

IxMonadTrans IxContT  
MonadReader e m => MonadReader e (IxContT m i i)  
MonadState e m => MonadState e (IxContT m i i)  
IxPointed (IxContT m)  
Monad m => IxApplicative (IxContT m)  
IxFunctor (IxContT m)  
Monad m => IxMonad (IxContT m)  
Monad m => IxMonadCont (IxContT m)  
Monad m => Monad (IxContT m i i)  
Monad m => Functor (IxContT m i j)  
Monad m => Applicative (IxContT m i i)  
MonadIO m => MonadIO (IxContT m i i)  
Monad m => Pointed (IxContT m i i) 
runIxContT_ :: Monad m => IxContT m r a a > m rSource
runIxCont_ :: IxCont r a a > rSource