+ のデフォ実装は基本的にはないです、

2:44 PM

AdditiveGroup の subprotocol に AdditiveSubgroup というのがあって、sub の方は super が演算を引き継げるようになってます。

2:47 PM

（意図をくめてなかったらすみません

）