TypeScript Replace Type

TDeepReplace.ts

type DeepReplace<T, O extends Array<any>, N extends Array<any>> = {
    [TKey in keyof T]: Replace<T, O, N>[TKey] extends N[number] ? Replace<T, O, N>[TKey] : DeepReplace<Replace<T, O, N>[TKey], O, N>;
}

test.ts

interface ITest {
    a: string;
    b: number;
}

const test1: Replace<ITest, [string], [number]> = {
    a: 5,
    b: 6,
};
    
const test2: Replace<ITest, [string, number], [boolean, string]> = {
    a: true,
    b: 'something',
}

TReplace.ts

type ReplaceOrNever<T, O extends Array<any>, N extends any> = ({ 
    [OKey in keyof O]: O[OKey] extends T ? N[OKey] : never; 
})[number];

type Replace<T, O extends Array<any>, N extends Array<any>> = {
    [TKey in keyof T]: ReplaceOrNever<T[TKey], O, N> extends never ? T[TKey] : ReplaceOrNever<T[TKey], O, N>
}