Control.Monad.Indexed.Cont
class IxMonadCont m
data IxContT m r o a
data IxCont r o a