Type Alias IsNarrowable<T, U>

IsNarrowable: IsNever<
    (T extends U ? true : false) & (U extends T ? false : true),
> extends true
    ? false
    : true

Checks if T can be narrowed further than U

type Result = IsNarrowable<'foo', string>
//   ^? true