[WIP] Add arrows intro

For early feedback: Is this actually a good way of introducing arrows?

Can we just say that historically they appeared as a generalization of monads without introducing monads in much detail? Or is this bad for some reason?