Hello-- In SML/NJ there's a useful function for invoking a thunk in an empty continuation, called SMLofNJ.Cont.isolate. If I'm not mistaken, this isn't too difficult to implement. Is this something that could be added to MLton? Thanks, Dave