FWIW, this is also the standard way of implementing if/then in the lambda calculus:

true = \x.\y.x

false = \x.\y.y