Ah, but a delimited continuation returns, so the analysis will be different. Basically, the continuation function's return type is that of the prompt to which it is delimited. If that prompt isn't lexically determined, then oops; we are back to a similar problem of not knowing what that is, with the surcharge of having to know because it does return.