Why class can not be treated as constrcutor?

Question

From TS

type InstanceType any> = T extends new (...args: any) => infer R ? R : any;

Say, I have a