Type alias FilterUnknown<L>

FilterUnknown<L>: L extends [infer H, ...(infer T)]
    ? H extends unknown[]
        ? T extends unknown[][]
            ? [NeverUnknown<H>, ...FilterUnknown<T>]
            : [NeverUnknown<H>]
        : FilterUnknown<T>
    : L

Filter out unknown[] types from a tuple by converting them to never