Hmmm... but, assuming a preprocessor, you probably would be able
to transform this code:

[snip] 

The only part missing here is being able to run only a small part
of the arrow's computation and then return another Action.

Is my example contrived?  Am I missing something? :)