落としどころとしてはこんな感じでしょうかねぇ。

protocol Addable { func adding(_ other: Self) -> Self } func + <T : Addable>(lhs: T, rhs: T) -> T { return lhs.adding(rhs) }

(edited)