infix + と prefix - が必要で、それを使って infix - がデフォルト実装されるようになってます。

2:35 PM

@tarunon AdditiveSubgroup は、整数全体の中の偶数全体のように、親の演算をそのまま子供が引き継げるケースで使うやつです。