_i

a monad is a monoid in the category of endofunctors

_i GIFs