Unexact.d.ts

type Unexact<T> =
  T extends null 
  ? null
  : T extends undefined
  ? undefined
  : T extends number
  ? number
  : T extends boolean
  ? boolean
  : T extends string
  ? string
  : T extends Promise<infer R>
  ? Promise<Unexact<R>>
  : T extends (...args: infer A) => infer R
  ? (...args: Unexact<A>) => Unexact<R>
  : T extends object
  ? { -readonly [K in keyof T]: Unexact<T[K]> }
  : never


// usage
type a = Unexact<'1234'> // string
type b = Unexact<() => true> // () => boolean
type c = Unexact<{ a: 1234, b: 'foo' }> // { a: number, b: string }