In some sense yeah, and clearly I'd need to align these parts, but I don't think repetition hurts.

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.

I would go ahead saying: As briefly mentioned before, there was already an earlier Haskell feature inspired by cats that was meant to encapsulate notions of computation, but it turned out to be unfit for some applications. Thus Hughes introduced the above interface instead, where he clearly built upon understanding won from monads.