Breaking/collapsing a discriminated union - derive an umbrella type with all possible key-value combinations from the union

Question

I have a discriminated union:

type Union = { a: "foo", b: string, c: number } | {a: "bar", b: boolean }

I need to derive