Arrows‚ like Monads‚ are Monoids (MFPS‚ Electronic Notes in Theoretical Computer Science, 2006)

(untitled) - Heunen, C; Jacobs, B