Получить свойства членов типа объединения в виде массива

Question

У меня есть следующие типы объединения:

type Foo = 'foo'
type Bar = 'bar'
type FooBar = Foo | Bar

type ComplexFoo = { type: 'ComplexFoo' }
type ComplexBar = { type: 'ComplexBar' }
type ComplexFooBar = ComplexFoo | ComplexBar

Можно ли сгенерировать массив ['foo', 'bar'] переменную из FooBar и переменную массива ['ComplexFoo', 'ComplexBar'] из ComplexFooBar?

Изменить: массивы должны быть доступны во время выполнения.