Sketch two implementations of lambda notation