<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>1. Delete the unnameable<br></div><div>3. Remove all specialness of it <br></div></div></div></div></blockquote><div><br></div><div>... and end up with absolutely no way to apply functions that return unboxed values?</div><div><br></div><div>Best regards,</div><div>Marcin Mrotek </div></div><br></div></div>