save-the-world or serializable continuations

[Ben]

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