Pの宣言はジェネリックパラメータとしてあるよ。 (edited)