Why return type of either output of an IF Statement has to be the same?

Question

For example:

IF (COND) then EXPR1 else EXPR2

Following are the types.

• IF:T1