#타입시스템

satisfies로 타입 넓힘 막기

satisfies 연산자가 리터럴 타입을 보존하면서 타입 적합성을 검사하는 원리를 정리한다.