Type Alias IsNarrowable<T, U>

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