Conditional Conformanceってジェネリックパラメータによって実装を変える事が出来ないのね。

protocol P {} extension Optional: P where Wrapped == Int {} // error: redundant conformance of 'Optional<Wrapped>' extension Optional: P where Wrapped == String {}