Florian Widmer

Rome, Italy All told, a monad in X is just a monoid in the category of endofunctors of X; or if you ask certain people... a burrito.