this paper) be lambda-lifted, and thereby decompose execution into smaller steps. Similarly, a nave treatment of mutual local recursion using Y involves much packing and unpacking of tuples, which can easily be avoided if the letrec expression is handled explicitly. Finally, we show later on that laziness can be lost if let expressions are not handled specially