Unions과 Narrowing
우리 두 번째 형 Matt Pocock의 토탈 타입스크립트
deriving types from values와 satisfies operator
기본기 다지기
mapped & generic
props & satisfies