:PROPERTIES:
:ID:       8ee5037f-0673-4968-9ec4-184bf31dd72d
:END:
#+title: Monad

#+begin_quote
A monad is just a monoid in the category of endofunctors.
#+end_quote