TypeScriptのUnion型
イディオム
配列をunion型に変換する
UnionからUnionへの型レベルmap