Demonstration of let-in notation