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