Control.Monad.Indexed.Trans
class
IxMonadTrans
t