I need to define a type in TypeScript that expresses “any subtype of T“, where T is the formal type parameter of a generic type. Moreover, I need to ensure strict subtyping, meaning that instances of type T are not to be allowed.