if-else branch without if

$$\begin{aligned} true &= \lambda x. \lambda y. x \\ false &= \lambda x. \lambda y. y \\ if &= \lambda x. \lambda y. \lambda z. x (y) (z) \end{aligned}$$