Question on Type Narrowing in TypeScript - Effect Community