typescript union type discriminator