TypeScript에서는 Parameter<T>를 사용해서 overloaded function interface의 전체 파라미터 타입을 추론하는 것에 한계가 있다. infer 키워드를 사용해서 오버로딩된 함수들의 파라미터 타입을 추론하고, 그것을 바탕으로 union 타입을 선언할 수 있다.