Defining Resume

type Resume m a =

State ([String],[String]) (Exception [String] m) a

suspend :: Monad m => Resume m ()

suspend =

do (old,new) <- readState

case old of

[] -> exception (reverse ("":new))

x:old' -> writeState (old',x:new)