<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 18, 2015 at 4:41 AM, Mike Houghton <span dir="ltr"><<a href="mailto:mike_k_houghton@yahoo.co.uk" target="_blank">mike_k_houghton@yahoo.co.uk</a>></span> wrote:<br><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":132" class="a3s" style="overflow:hidden">
And really return x  = P (x, x) doesn’t seem correct anyway.<br></div></blockquote><div><br></div><div>But if you look at the type, which is essentially "a -> (a,a)" there's only one way to write it, for the same reason that there's only one "a -> a" function.<br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":132" class="a3s" style="overflow:hidden">
Would someone please write the Monad with an explanation?</div></blockquote></div><br></div><div class="gmail_extra">Much better if you let us know the source of this problem. Is this an exercise from some book / online course?<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div>