conditional conformance を public にしようとすると 'public' modifier cannot be used with extensions that declare protocol conformances と言われるんですが、なぜそうなってるんでしょう？（でも外からはちゃんと認識されてるっぽい）
3:51 AM
とりあえず多項式環が、係数が体のときにユークリッド環型になるというのができましたextension Polynomial: EuclideanRing where R: Field {
