Wouldn't it be nice if Haskell had a type system that could express concepts like uninterruptibility? In the mean time, I withdraw my endorsement of the proposal *solely* on the basis that I realize I don't understand the issues well enough.