On Tue, Oct 22, 2002 at 12:56:52PM +0100, Simon Marlow wrote: > Did you really mean those types, and not the types I quoted? That > implies unsafeInterleaveIO if they have to be atomic. Sorry, I meant the types you quoted. So the analogy isn't that strong.