save-the-world or serializable continuations

hello -- i'm wondering if there is any support for a common-lisp style "save-the-world" function in GHC, or more generally serializable continuations (in the Continuation monad?) And if not, what would it take to have it? It would be very useful for long-running restartable computations, amongst other things. I realize it is a very tricky thing to do right, but even simplified approximations would be great. best, ben