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