There are tow arrows with force the partial evaluation. By convention
the 2. should be less lazy than the 1.

These arrows are sometimes useful for preventing space leaks, especially when parsing
complex data structures. In many cases the evaluated AST is more space efficient
than the unevaluaded with a lot of closures.