It is sometimes necessary to escape from a deep expression, for instance in an exceptional case
We are interested in a primitive which allows us to control the remaining part of a calculation - a so-called continuation.