typeChallenge를 하다가 T extends never이라는 구문을 봤다.뭔지 궁금해서 찾아봤다.never은 다른 모든 타입들의 서브셋이다.keyof는 오브젝트의 known key를 union type으로 생성한다.이 표현식은 T에 known key가 있는지 없