With an expression of the form (cond ? expr1 : expr2) the typechecker fails to install a type for the whole expression when expr1 and expr2 both have the same type. It works ok if they are different interassignable types.