Type Alias ContainsNarrower<T, U>

ContainsNarrower: (
    U extends any ? T extends U ? never : U extends T ? 0 : never : never
) extends never
    ? false
    : true

Check if U contains a narrower subtype of T, if so return true, if not return false.