Type Alias Narrowest<T, U>

For unions containing ovverlapping types, this type will remove all types that are a wider version of any of the other types in the union, leaving only the narrowest types.