12.6 J Example

Suppose e is the expression 5 * 4 + 5 and f is the subexpression 4 + 5, then the continuation of f in e is

monad define '5 * y.'

and

(monad define '5 * y.')  4 + 5

produces the same result of 45 as does

5 * 4 + 5