Type Alias ReplaceType<T, A, B>

ReplaceType: T extends A
? B
: T extends object ? { [K in keyof T]: ReplaceType<T[K], A, B> } : T

Within type T, recursively change properties that were of type A to be of type B