understanding-typescript-instanceof-type-guard