O que é um Union Type em TypeScript e como ele afeta arrays?

Union Type permite valores de múltiplos tipos.
Em arrays, cada elemento pode ser de qualquer um dos tipos da união.
Ao acessar um elemento, seu tipo inferido é a própria união.