僕の言っているのは、+も-もinfixは全部protocol extensionの実装になっているので、この場合は+がコンパイル可能だが-は不可能、その差はprefix operatorの有無では？と言う話です。そのprotocol extensionの宣言はAddativeSubGroupが持ってますよね？ (edited)