I would think that mutually recursive continuations are clearly the way to go just because of the state-machine example. I gather that it isn't too hard and that the argument against it was just that it didn't buy enough.