"Monads are monoids in the category of endofunctors. What's the problem?" -- that's how every paper looks at me!