How to extract type parameters from type alias & type arguments from generic instance?

Question

Given this:

type Qux = {}
type Bar = Qux & B
export type Foo = Bar<1, 2>

How can we extract wit