you might want this behavior:
https://github.com/twitter/algebird/blob/develop/algebird-core/src/main/scala/com/twitter/algebird/GeneratedAbstractAlgebra.scala#L7

to make sure sumOption optimizations are not lost (which are pretty important on several monoids/semigroups).