[wesselbindt]

> A monad is a monoid over a set of curried functions

I think this statement will have two kinds of readers. People who are not familiar with monads, for whom it'll fly right over their heads, and people who are familiar with monads, who will be annoyed at its inaccuracy.

[marcosdumay]

I'm pretty sure it will reach a few people that are just at that point where they don't understand a monad, but are ready to and just need an explanation that clicks. And it will completely ruin their understanding of both monads and currying, because it's wrong.

[asplake]

But in between those two extremes, the curious. I know enough to be intrigued but not to critique. Hoping for some insight here.

[jerf]

If there is any concept in the whole of the programming world that has demonstrated that people can be screwed up by dropping the wrong misconception in at just the right time, it is the monad concept.

It's best to not learn from wrong things, which is, unfortunately, statistically most of the things talking about monads.