Typescript Union Type Check