fの型の方からP.Rがそうやって決まるのか。制約はPがSelfと同じ型コンストラクタであると。面白い書き方ですね。