On 10/11/13 5:13 AM, Heinrich Apfelmus wrote: > In my opinion, only (#) looks "right" for this purpose, though. FWIW, so long as we're bikeshedding names, I agree that (#) is mich better than the alternatives. It also has some history from ML-land. The big issue is how to get it to play nicely with -XMagicHash -- Live well, ~wren