Part of the appeal of using higher order functions is that it's cleaner and more "obviously correct" than the equivalent procedural code. You can solve any prob

Part of the appeal of using higher order functions is that it's cleaner and more "obviously correct" than the equivalent procedural code. You can solve any problem by adding complexity -- but that completely misses the point. The GP is creating a (toy) language and observes that non-local returns make some code easier/cleaner to write and that non-local returns are therefore not just a language wart, but something to carefully consider when designing a programming language.