λ→ is normalizing

playingwithpointers.com