Type Alias IncludeFromTuple<T, E>

IncludeFromTuple: T extends [infer F, ...(infer R)]
    ? [F] extends [E]
        ? [F, ...IncludeFromTuple<R, E>]
        : IncludeFromTuple<R, E>
    : []