是否可以强制泛型类从两个接口之一继承类型？

interface InterfaceA {
  a: string;
}

interface InterfaceB {
  b: number;
}

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (
  k: infer I
) => void
  ? I
  : never;

type ExtractIntersection<T> = T extends any ? (T & UnionToIntersection<T>) : never;

type ExtractIntersectionFromUnion<T> = UnionToIntersection<ExtractIntersection<T>>;

type MergeInterfaces<T> = T extends any ? (T & ExtractIntersectionFromUnion<T>) : never;

type Result = MergeInterfaces<InterfaceA | InterfaceB>;