λ(_ : if True then X else Y) → if True then _ else y