JSONType.ts

export type JSONType<T> = T extends Date
  ? string
  : T extends number
  ? number
  : T extends boolean
  ? boolean
  : T extends string
  ? string
  : T extends Array<infer F>
  ? __JSONNonArrayType<F>[]
  : T extends {}
  ? __JSONObjectType<WithoutMethods<T>>
  : never;

type __JSONNonArrayType<T> = T extends number
  ? number
  : T extends boolean
  ? boolean
  : T extends string
  ? string
  : T extends {}
  ? __JSONObjectType<WithoutMethods<T>>
  : never;

type __JSONObjectType<T extends object> = {
  [K in keyof T]: T[K] extends Optional<infer U>
    ? JSONType<U> | undefined
    : JSONType<T[K]>;
};