제네릭에서 질문입니다.

그리고 문자열 '1'이 있다고 하면 +'1'은 숫자 1입니다.-> 이 부분은 이해 했습니다. (아래 링크 참고) https://stackoverflow.com/questions/6682997/what-is-the-purpose-of-a-plus-symbol-before-a-variable T extends (a: string) => number 에서 a가 string이라는 게 정해져있습니다.-> 이 부분이 여전히 이해가 가지 않습니다.제가 이해하기로 a는 함수 add의 매개변수인 콜백함수의 매개변수로, 타입이 string 입니다.근데 어떻게 함수 밖에서 string으로 정해져 있는건가요? 스코프가 달라서 함수 밖에서의 a는 아무것도 아니지 않나요?