Сегодняшняя Agda-рассылка принесла...

...мем, готовый сменить "монада в категории - это моноид в категории ее эндофункторов".

Is that the glorious Yoneda lemma? Trivial in the language of types.
Just subtract the categorical waffle and every programmer understands it...