A list is a monad

Another tutorial which makes monads about 100x more impossible to understand for me by relating them to something else and describing all the weird ways that they are NOT that thing.

IMO if you already have it, this will be a lovely comparison full of insight, but if you haven't then it's full of confusing statements.

IMO what they are is utterly unimportant, except to mathematicians, and what you can do with them is more to the point.

The fact that explanations are so often in Haskell just makes them more unintelligible because you really need to know what problem they solve.

Thanks for the feedback! I'll likely be editing part 1 to include the feedback so far from the commenters as well. If there's a specific statement or analogy that felt especially confusing, please point it out and I'll clarify it in the post.