Thank you very much Sebastian, The example did make it clearer. I can see now that monads obeying the laws is what lets the 'do' notation work on all monads in a consistent manner.
Regards, Kashyap
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe