[WIP] Arrows are monoids

This is just for early-reviewing, if you wish to do any.