any P.Typeと(any P).Typeと(any P).selfはややこしいけど、じっくり眺めてると、素直な定義でしっくりくるな