<div dir="ltr"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">> (\x y -> y)<br>
<br>
*shudder*<br>
<br>
I just can't stand such things.<br></blockquote></div><br>What is it that you can't stand? Would you prefer "flip const"?<br><br>Sean<br></div>