more elegant implementation of sumOption in eventually monoid