λ(x : Bool) → [ if True then x else x ]