厳密には X<any P> については X<T> が T を返すメソッドを持ってるかどうかじゃないかな