λ(… :   …
        → …)
→ …@…
  …