<fizzie> le/rn karma//All living beings have actions (karma) as their own, their inheritance, their congenital cause, their kinsman, their refuge. It is karma that differentiates beings into low and high states.

Indexed monads are just monads on an indexed category.
Indexed monads are just categories enriched over the monoidal category of endofunctors.