// prettier-ignore
type Promisify<T> =
  T extends { [""]: boolean }
    ? Promise<Remote<T>>
    : T extends (...args: infer R1) => infer R2
        ? (...args: R1) => Promisify<R2>
        : Promise<T>;

// prettier-ignore
export type Remote<T> =
  (
    T extends (...args: infer R1) => infer R2
      ? (...args: R1) => Promisify<R2>
      : unknown
  ) &
  (
    T extends { new (...args: infer R1): infer R2 }
      ? { new (...args: R1): Promise<Remote<R2>> }
      : unknown
  ) &
  (
    T extends Object
      ? { [K in keyof T]: Remote<T[K]> }
      : unknown
  ) &
  (
    T extends string
      ? Promise<string>
      : unknown
  ) &
  (
    T extends number
      ? Promise<number>
      : unknown
  ) &
  (
    T extends boolean
      ? Promise<boolean>
      : unknown
  )