Control.Monad.Indexed.Trans
class IxMonadTrans t