제네릭 extends 함수로 한 경우

function test<T extends (a: number, b: string) => boolean>(callback: T): void {
  return;
}

const callback = (a: number) => {return true};
const callback2 = (a: string) => {return true};
const callback3 = () => {return true};

test(callback); // OK
test(callback2); // ERROR
test(callback3); // OK

playground에서 위 코드 입력시 callback2에서만 오류가 나고 나머진 통과됩니다.

제네릭에선 a, b 옵셔널이 아닌 두 매개변수를 정했는데 왜 빈값 혹은 1개만 넣어도 충족되는지 궁금합니다.