Narrowing in Typescript

Typescript has union types which according to the Typescript handbook are a type formed from two or more other types representing values that may be any of those types. Unions in Typescript are created using the pipe operator e.g type ID = string | n...