What good (i.e., an example) is the `flexibility' of within vs. call in Exit? Since the only way to eliminate a 'a Exit.t is by passing it as the first argument to Exit.to, I would think that there is no difference.