. "What we talk about when we talk about monads (PDF)"^^ . . . . . . . . .