TypeScript 5.x 실전 패턴: 제네릭, 조건부 타입, satisfies 연산자