λ abstraction.