structのパラメータPの制約が間接的にFooBのwhereとして書かれてるの？