On Mon, Feb 17, 2003 at 03:15:27PM -0000, Simon Peyton-Jones wrote: > > Now I'm confused. > > Ian: you are the one who's going to have a go at this, correct? Sorry, misread Derek's reply. Will do. Thanks Ian