Another bad attempt to make `deep' with toppings work using SMLofNJ.Cont
structure.
Finally we resort to "standard" use of continuations without
saving them between different invocations of functions.