Finalizers etcetera

[Alastair Reid]

> I don't think >>= is frequent enough.  Pure code that manipulates
> big C objects (remember that image processing example of mine?) can
> generate a lot of garbage C objects without once going into the IO
> monad.

Also, thanks to unsafePerformIO, >>= can be invoked during execution
of a primitive even if the arguments of the primop do not involve IO.

This is somewhat beside the point though - the main worry is about
race conditions in user-written code.

--
Alastair