하스켈 컴파일러는

f x = let g y = x * x + y in g 3 + g 4를

f x = let _1 = x * x in let g y = _1 + y in g 3 + g 4로

바꾼다