Type alias Filter<T, F>

Filter<T, F>: T extends []
    ? []
    : T extends [infer Head, ...(infer Tail)]
        ? Head extends F
            ? Filter<Tail, F>
            : [Head, ...Filter<Tail, F>]
        : []