Type Alias Frozen<T>

Frozen: T & {
    readonly [K in keyof T]: T[K] extends Frozen.Frozen<infer I>
        ? I
        : T[K] extends () => unknown
            ? T[K]
            : T[K] extends object ? Frozen.Frozen<T[K]> : T[K]
}