<div dir="ltr">I thought a pure value was being returned from the monad. :)</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Aug 5, 2013 at 10:32 PM, Christian Sternagel <span dir="ltr">&lt;<a href="mailto:c.sternagel@gmail.com" target="_blank">c.sternagel@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Jurriën.<br>
<br>
personally, I like &quot;lift&quot; (which is of course already occupied in Haskell), since an arbitrary value is &quot;lifted&quot; into a monad. (The literature sometimes uses &quot;unit&quot;.)<br>
<br>
cheers<br>
<br>
chris<div class="HOEnZb"><div class="h5"><br>
<br>
On 08/06/2013 02:14 PM, J. Stutterheim wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Dear Cafe,<br>
<br>
<br>
Suppose we now have the opportunity to change the name of the `return` function in Monad, what would be a &quot;better&quot;  name for it? (for some definition of better)<br>
<br>
N.B. I am _not_ proposing that we actually change the name of `return`. I do currently have the opportunity to pick names for common functions in a non-Haskell related project, so I was wondering if there perhaps is a better name for `return`.<br>

<br>
<br>
- Jurriën<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
<br>
</blockquote>
<br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>--<br>Regards,<br>KC
</div>