Типскрипт InstanceType ‹T› ведет себя не так, как я мог бы представить

У меня есть следующий код:

class Factory<K, T extends new (...p: any) => any> {
    add(key: K, fn: (...p: ConstructorParameters<T>) => InstanceType<T>) {
    }
}

class Foo {
    constructor(a: number) {
    }
}

class Boo {
    constructor(a: number) {
    }
}

new Factory<number, typeof Foo>().add(1, (a) => new Boo(a))

Я бы предположил, что это не должно быть скомпилировано, поскольку Boo не является производным от Foo. Но работает нормально.

Я что-то упускаю?

площадка