It is possible to create a DeepReadonly type like this: type DeepReadonly<T> = { readonly [P in keyof T]: DeepReadonly<T[P]>; }; interface A { B: { C: number; }; D: { E: number;...