import type { Equals } from "hry-types/src/Any/Equals"; export type Drop = T extends [infer Head, ...infer Rest] ? Equals extends true ? Rest : Drop<[...Rest, Head], A> : T;