Exclude<T, U>

Extract<T, U>

NonNullable<T>

UnionToArray<T>

UnionToIntersection<T>