[xelxebar]

Wait. Is this true? If so, that's cool. I know your comment was sarcastic, but as a grad student in math I've futzed with category theory enough that those words mean more to me than the raw Kleisli triple definition.

[striking]

Yeah, it's absolutely right. And I think exploring that definition is actually the best way to learn what exactly a monad is.