λ(x : Bool) → if x then True else False