Type Alias CommonTypes<T, R>

CommonTypes: {
[P in keyof T]: P extends keyof R ? CommonType<T[P], R[P]> : T[P]
} & { [P in keyof R]: P extends keyof T ? CommonType<R[P], T[P]> : R[P] }