Arrows‚ like Monads‚ are Monoids - Heunen, C; Jacobs, B (2006)