Type deduction for if-then-else.