<div dir="ltr">Box is good but overlaps with unboxed/boxed types. Wrap is good.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 25, 2015 at 7:27 PM, Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><p dir="ltr"> > wish it wasn't named pure</p>
</span><p dir="ltr">How about "wrap" or "box" (as in box-unbox)?</p>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Chris Allen<br><div><span style="font-size:12.8000001907349px">Currently working on </span><a href="http://haskellbook.com" target="_blank">http://haskellbook.com</a></div></div></div></div></div></div>
</div>