let
if_then_else a b c =
If
(a, b, c)