Thank you very much Sebastian,<br><br><div>The example did make it clearer.</div><div>I can see now that monads obeying the laws is what lets the &#39;do&#39; notation work on all monads in a consistent manner.</div><div> </div>
<div>Regards,</div><div>Kashyap</div>