Re: [jhc] Monad.ST

Ah, I see you've put your machinations into StateT, in a way I admit I don't entirely understand but sounds plausible to me... other than how it looks to me that you end up wrapping all IO actions (like writeIORef) inside an unsafeInterleaveIO, and there is no lossless way to reverse that (no `seq`: might not be executed; `seq`: crashes on `return undefined`) But I think I figured out my own question: StateT makes all IO actions return a tuple type that's under its control. :-) other question is whether it works when you test it with things :-) -Isaac