で結合した型を読みやすくする

type MergeIntersections<T> = Pick<T, keyof T>;

定義だけ見ると何もやってないように見えるが、実際は挙動が変わる

の本質を表した定義という感じがする

type MergeIntersections<T> = Omit<T, never>;

type MergeIntersections<T> = T extends object
  ? { [K in keyof T]: MergeIntersections<T[K]> }
  : T;

intersectionした後の加工なので当然だが、propertyが競合してるとneverになることに注意

type Foo = { a: number; b: string };
type Bar = { b: number; c: boolean };

// { a: number; b: never; c: boolean; }
type A = MergeIntersections<Foo & Bar>;

という名前で定義されてるけど、

Intersectionのほうが良くない？という気がするので、タイトルはそちらにしてる