Give a shortened λω-derivation in flag format of the following judgement:
$α : ∗, x : α ⊢ λy : α. x : (λβ : ∗. β →β)α$
The following is a shorted derivation in flag format (click to enlarge).
