Record型のvalueをUnion型へ変換

こんな感じ

code:ts

type Values<T> = Tkeyof T;

type Values<T> = T extends { key: string: infer U } ? U : T;

e.g.

code:ts

type B = Values<{ name: string; age: number }>; // string | number

もうちょい複雑な例