以前にEnumのようなUnion型を生成する方法を調べた 【FlowType】逆引きメモ - UGA Boxxx このとき、Keyの型チェックに対しては$Keysを使うことがわかったが、Valueに対しての型チェックはどうやるのかがわからなかったので調べたら、単純に$Valuesを使えばよ…