Simon Peyton-Jones wrote: > Isaac > > Thanks for your work on this. > > However, can you hold off committing until Simon and I have been back at work for a few days? I'm not back at all until 4 Jan. sure thing! Make that 10 January then. Isaac