Currently, the type is determined by the type of the first element and the rest are implicitly cast to it. I propose changing it to being the type produced by applying the ?: logic repeatedly to all the elements.