타입에서의 this 가 헷갈립니다

bind<T A0, A extends any[], R>(this: (this: T, arg0: A0, ...args: A) => R, thisArg: T, arg0: A0): (...args: A) => R;

위 타입에서 this가 두번 나오는데 서로 의미하는 바가 다른 것 같습니다.

두번째 this는 실제 함수에서 arguments로써 사용되는 this인 것 같은데

const Func(this:someThing) {}

첫번째 this가 의미하는바가 무엇인지 이해가 잘 안가네요..

그리고 OmitThisParamter 타입을 분석을 해보려고 하니 아래 부분 비교를 한다는 것은 T에 this arguments가 존재한다는 뜻으로 이해를 했는데 ...args 만으로 표기를하면 this까지 포함되는게 아닌건가요?

T extends (...args: infer A) => infer R

제 생각에는 다음과 같이 되어야 할 것 같은데 어떻게 this를 제외한건지 명확하게 이해가 안갑니다

T extends (this:unknown, ...args: infer A) => infer R