Control.Monad.Indexed.Trans

class IxMonadTrans t