インターセクション型
交叉型(こうさがた、intersection types)のこと。