kfess

```ts type MyReturnType = T extends (...args: any) => infer U ? U : never ```

```ts type Length = T["length"] ```

```ts type MyParameters any> = T extends (...args: infer U)=> any ? U : never ```

```ts type If = C extends true ? T : F ```

```ts type Includes = T extends [infer L, ...infer R] ? Equal extends true ? true: Includes : false ```

```ts type Concat = [...T, ...U] ```

```ts type ItemIsInArray = T extends [infer A, ...infer B] ? Equal extends true ? true : ItemIsInArray : false type Unique = T extends [infer A, ...infer B] ?...

```ts type LengthOfString = S extends `${infer L}${infer Rest}` ? LengthOfString : T['length'] ```

```ts type IsTuple = [T] extends [never] ? false : T extends readonly any[] ? number extends T['length'] ? false: true : false ```

```ts type TrimLeft = S extends `${' ' | '\t' | '\n'}${infer T}` ? TrimLeft : S ```