Mais ou menos isso, voce consegue uma inferencia melhor pois ele vai saber o tipo, no ligar de ter um "or" entre os tipos possiveis.