타입스크립트 핸드북에는 다음과 같은 흥미로운 문장이 있습니다. "조건부 타입의 체크는 종종 새로운 정보를 제공합니다. 타입 가드와 마찬가지로 좁히는 것은 더 구체적인 타입을 제공할 수 있듯이, 조건부 타입의 true 분기는 우리가 체크하는 타입에 의해 제네릭을 더 세부적으로 제한합니다."이 블로그 포스트에서는 이 내용이 생각보다 더 나아간다는 것을 살펴보겠습니다.