Type Alias Snapshot<T, D>

Snapshot: [D] extends [0]
    ? Extract<T, object>
    : T extends (infer U)[]
        ? T | Snapshot<U, DepthLimiter[D]>
        : T extends object ? T | Snapshot<T[keyof T], DepthLimiter[D]> : never

Recursive snapshot type for identity function (limited depth to avoid infinite instantiation)