{ a: string; .. }
tsconst o = { foo: false, bar: 1 } as const
o['bar'] = 2
tstype Values<T> = T[keyof T]; type Values<T> = T extends { [key: string]: infer U } ? U : T;