Imagine having to explain to Elon that a monad is just a monoid in the category of endofunctors. x.com/EdLudlow/statu…