monads as indexed monads