Type Alias DeepReadonly<T>

DeepReadonly: T extends (...args: readonly never[]) => unknown
    ? T
    : T extends null
    | undefined
    | boolean
    | number
    | string
    | bigint
        ? T
        : T extends (infer K)[]
            ? readonly DeepReadonly<K>[]
            : T extends Map<infer K, infer V>
                ? ReadonlyMap<DeepReadonly<K>, DeepReadonly<V>>
                : T extends Set<infer V>
                    ? ReadonlySet<DeepReadonly<V>>
                    : { readonly [P in keyof T]: DeepReadonly<T[P]> }