Which is the inferred type T (with strictFunctionTypes)?

class Animal {} class Dog extends Animal {}\ntype T = ((a: Animal) => void) extends ((d: Dog) => void) ? true : false;