Unironically describes himself in third person.
Have a haiku:
Monad axioms: Kleisli composition forms a category.
Credits