多項式を protocol 化しようとして（一変数・多変数など色々な種類があって個別に同じコードを書くのが嫌なので），係数環を変えるような map を実装したいのだけどできない，という感じです．

 public func mapCoefficients<R2: Ring>(_ f: (R) -> R2) -> Polynomial<x, R2> { .init(elements: elements.mapValues{ f($0) }) }