P.Protocolにstatic funcが生やせるようになったこれによってP.Protocol.self is P.Typeにできない理由が緩和されたかな？