> In some sense yeah, and clearly I'd need to align these parts, but I
> don't think repetition hurts.

Sure

> The question is, can we just talk about arrows as the general
> interface to computation they are, or do we have go into their
> genesis as generalization of monads. If the latter is the case, then
> I think this here makes a good intro.

So, I think you can present them as being independent of Monads, but
still give some links / examples using mondas for ease of understanding.