Type alias FilterNeverMap<L>

FilterNeverMap<L>: L extends [h: infer H, t: infer T]
    ? [never, unknown] extends H
        ? FilterNeverMap<T>
        : [H, ...FilterNeverMap<T>]
    : []

Filter [never,unknown] out of a list