Has anyone from the syntactically inclined subset in PRL tried to implement (and failed) a macro expander in CαML or Fresh OCAML? I believe that this might shed some light on the nature of hygiene. -- Matthias P.S. Olin pls forward to your Macro-David if he hasn't subscribed.