λ(f : Bool → Natural) → λ(x : Bool) → f x