交差型
intersection type