Beginning functional programmers ask, "What is this strange abstraction 'Monad'?" whose answer could only satisfy a mathematician.
Instead, they should ask, "Which concrete data types have the Monad structure, and what specific problems does this structure help you solve?"