Any<P1 & P2> の sugar として残る（残さざるおえない）んじゃないかなー。