kfess

```ts type MyReadonly = {readonly [K in keyof T]: T[K]} ```

```ts type MyOmit = Pick ```

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

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

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

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

```ts type AnyOf = T extends [infer L, ...infer R] ? L extends 0 | false | '' | undefined | null | [] | Record ? AnyOf : true...

```ts type MyReadonly2 = { readonly [P in K]: T[P] } & { [P in Exclude]: T[P] } ```

```ts type DeepReadonly = { readonly [P in keyof T] : keyof T[P] extends never ? T[P] : DeepReadonly } ```

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