Is it possible to generate combinatoric set from a discriminated union type?

Question

Is it possible to process a discriminated union to get a combinatorics set of (the literal) values?

interface Foo {
  type: \'Car\';
  color: \'red\';
}

interfac