[Haskell-cafe] Re: Can we come out of a monad?

[Daniel Díaz]

I don't understand why to call "impure" to the types instances of a class.
Monad is simply a class with their methods. Even the "pure" list is a monad.
The only difference between Monad and other classes is do notation, and only
affects notation.

The "impure" side is a type, not a class: IO.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100730/b6201ff0/attachment.html