@omochimetaru Intersection はあくまで型の合成であって、インスタンスの合成は異なる概念だと思う。