Easy #

type MyPick<T, K extends keyof T> = { [P in K]: T[P] }

type MyReadonly<T> = { readonly [P in keyof T]: T[P] }

type TupleToObject<T extends readonly PropertyKey[]> = { [P in T[number]]: P }

type First<T extends any[]> = T extends [] ? never : T[0]

type Length<T extends readonly any[]> = T['length']

type MyExclude<T, K> = T extends K ? never : T

type MyAwaited<T> = T extends Promise<infer one> ? one : never

type ExampleType = Promise<string>

type If<C extends boolean, T, F> = C extends true ? T : F

type Concat<T extends any[], K extends any[]> = [...T, ...K]

type Includes<T extends readonly unknown[], U> = U extends T[number] ? true : false

type Push<T extends any[], P> = [...T, P]

type Unshift<T extends any[], P> = [P, ...T]

type MyReturnType<T> = T extends (...args:any[])=>infer R?R:never

type MyExclude<T,K> =  T extends K?never:T
type MyOmit<T,P extends keyof T> = {
    [K in MyExclude<keyof T,P>]:T[K]
  } 

type MyReadonly2<T,K extends keyof T = keyof T> = {
 readonly [P in  K]:T[P]
}&{ [S in MyExclude<keyof T,K>] :T[S]   }