understanding-typescript-typeof-type-guard