What does DeepReadonly produce for nested object members?

type DeepReadonly<T> = { readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K]; }; type R = DeepReadonly<{ a: { b: number }; f: () => void }>;