λ(y : Bool) → y