2.3.2 λ抽象