Abstracting control flow is extremely powerful. Those interested in learning more should explore monads, which offer some very useful methods of generalizing and composing control flow abstractions.

http://en.wikipedia.org/wiki/Monad_(functional_programming)