[Haskell-cafe] The problem with Monads...

[Jonathan Cast]

On Tue, 2009-01-13 at 12:56 -0200, Rafael Gustavo da Cunha Pereira Pinto
wrote:
> 
> Last night I was thinking on what makes monads so hard to take, and
> came to a conclusion: the lack of a guided tour on the implemented
> monads.

...

> Inspired by the paper "Functional Programming with Overloading and
> Higher-Order Polymorphism",
>         Mark P Jones
> (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html)
>           Advanced School of Functional Programming, 1995.
> 
> SO WHAT?

So have you read Jones' paper?  Or do you have a *concrete* explanation
of how it differs from your desired `guided tour'?

jcc