Exsistentialに対して直接呼ぶのはコンパイルエラーにできるけど、T: P越しだと弾けないのか