On 29 January 2013 14:17, Leo White <lpw25 at cam.ac.uk> wrote: > You are making an arbitrary distinction between functions and other values. Actually, this has nothing at all to do with functions. The "tl;dr" is: syntax extensions are about notation, while quotations are about distinguishing using and mentioning.