Typescript Type Predicate
Getting the control of your type in Typescript