Pretty Intersection

pretty.ts

// Simple
type Prettify<T> = {
  [K in keyof T]: T[K]
} & {}

// Recursive
type Prettify<T> = T extends {} ? {
  [K in keyof T]: Prettify<T[K]>
} & {} : T

// https://twitter.com/Riyaadh_Abr/status/1622736576303312899/photo/1
type ExpandRecursively<T>
  = T extends Record<string, unknown> | Record<string, unknown>[]
  ? T extends infer 0
  ? { [K in keyof 0]: ExpandRecursively<o[K]> }
  : never
  : T;