  A computation in the continuation monad returns a final result given a
continuation, ie. it is a function with type $(X \to R) \to R$. If we instead
return the intermediate result at $X$ then our computation is called a
selection function. Selection functions appear in diverse areas of mathematics
and computer science (especially game theory, proof theory and topology) but
the existing literature does not heavily emphasise the fact that the selection
monad is a CPS translation. In particular it has so far gone unnoticed that the
selection monad has a call/cc-like operator with interesting similarities and
differences to the usual call/cc, which we explore experimentally using
Haskell.
  Selection functions can be used whenever we find the intermediate result more
interesting than the final result. For example a SAT solver computes an
assignment to a boolean function, and then its continuation decides whether it
is a satisfying assignment, and we find the assignment itself more interesting
than the fact that it is or is not satisfying. In game theory we find the move
chosen by a player more interesting than the outcome that results from that
move. The author and collaborators are developing a theory of games in which
selection functions are viewed as generalised notions of rationality, used to
model players. By realising that strategic contexts in game theory are examples
of continuations we can see that classical game theory narrowly misses being in
CPS, and that a small change of viewpoint yields a theory of games that is
better behaved, and especially more compositional.
