Array.includes의 타입이 조금 까다롭다

Array.includes같은 배열 메소드의 인자 타입이 배열을 이루는 값 제네릭이라는 사실 알고 계셨나요? [1,2,3].includes('시우') 는 TS에서 타입 오류를 일으킵니다. 타입 정의가 왜 이렇게 돼있는건지, 어떻게 하면 이 문제를 조금 더 섬세하게 해결할 수 있을지 고민해봤습니다. https://shiwoo.dev/posts/includes-type-consider