Haneul Kim

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

```ts type MyExclude = T extends U ? never : T; ```

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

```ts type TupleToObject = { [K in T[number]]: K } ```

```ts type LookUp = U extends { type: T } ? U : never; ```

```ts type First = T extends [infer first, ...infer rest] ? first : never; ```

```ts type Last = T extends [...infer rest, infer last] ? last : never; ```

```ts type GetReadonlyKeys = keyof { [K in keyof T as Equal extends true ? K : never]: T[K] } ```

```ts type MyPick = { [P in K]: T[P] } ```

```ts type MyOmit = Pick ```