例えば整数係数の多項式を有理数係数と思いたい，というようなケース．

12:50 AM

これを多項式の種類ごとに実装するのではなく，protocol として宣言して extension でまとめて書きたい，という思いからの疑問でした．

12:54 AM

代わりに struct を一個にして色々な generic 型を持たせることで種類を分けて，激しめに extend する方向も考えたのですが，異なる条件で同じ protocol に conditionally conform するということができないので，それも諦めました