Всем привет! Есть такая проблема, возможно ли ее как

Question

Всем привет! Есть такая проблема, возможно ли ее как

то решить ?

type Foo = {
type?: string;
}

type Bar = {
type?: string;
}

type Problem = {
foo: Foo;
bar: Bar;
baz: number;
}

type Check<T> = {
[K in keyof T]: T[K] extends Foo ? string : T[K] extends Bar ? number : never
}

type Result = Check<Problem>
Хочется чтобы Result имел тип { foo: string; bar: number; baz: never }