Type Alias TExclude<L, R>

TExclude<L, R>: L extends TUnion<infer S>
    ? TExcludeRest<S, R>
    : L extends R
        ? TNever
        : L

Type Parameters