試してみたんですけど、これだと引数の型がexistential PじゃなくてT: Pになりませんか？