「Pにconformする型のメタタイプのsupertype」この概念に名前がほしいな。今まで意識してなかったモノ。