Lambda introduction examples