MAXLZ

```ts type CountElementNumberToObject = T extends [infer F, ...infer R] ? [F] extends [never] ? CountElementNumberToObject : F extends any[] ? CountElementNumberToObject : CountElementNumberToObject : { [K in keyof U]:...

```ts type FindEles = T extends [infer F, ...infer R] ? F extends A[number] ? FindEles : F extends R[number] // Expect not pass ? FindEles : [F, ...FindEles] :...

```ts type GetMiddleElement = T extends [any, ...infer R, any] ? R extends [] ? T : GetMiddleElement : T ```