Ugh, this made more sense than anything else I've ever read about monads. This, together with the Wikipedia sentence that monads are "programmable semicolons", helped me finally understand what they actually are.
Like the other commenters said, I don't understand why someone would use Haskell syntax to explain monads. If you know Haskell, you already know what monads are!
I think it's always worth studying Free monads to understand them a bit more completely. After you can see how to construct and map free monads then there's not much left to the concept to debate.
Like the other commenters said, I don't understand why someone would use Haskell syntax to explain monads. If you know Haskell, you already know what monads are!
Thanks for this great example.