これ実装がたまたまそうなってオーバーロード解決してる＋静的な解決だからそのように動いてる、だけじゃないかしら・・・？

10:21 AM

ランタイムでグローバルに一個しか、ある型TのPへのconformは登録できないという認識で、ダイナミックなケースだとうまくいかないと思います