This is still kinda bad. What you really want is multiple return addresses. This is liked "double-barelled continuations", but the two continuation closures sha

This is still kinda bad. What you really want is multiple return addresses. This is liked "double-barelled continuations", but the two continuation closures share the same activation record (and inductively, the same stack) See http://www.ccs.neu.edu/home/shivers/papers/mrlc-jfp.pdf http://www.ccs.neu.edu/home/shivers/papers/mrlc-jfp.pdf