型それ自体は本当に入ってる実体の数とは関係ない気がするたとえば Int & Int & String は Int & String だから

2:02 AM

Unionが畳み込めるのと同じような話で