λ(… :   …
        → …)
→ …
  …