something like Monoid.plus[OptionMonoid[T]](partial, flushed) ?