'red' | 'yellow' | 'blue'
t.union()
tsconst Good = t.keyof({ foo: null, bar: null, baz: null // etc... })