Arrows‚ like Monads‚ are Monoids - Heunen, C; Jacobs, B (MFPS‚ Electronic Notes in Theoretical Computer Science, 2006)