Better notation for lambda abstraction