The above Monoid does not look correct to me.  I would think you'd use Span.mergeSpan to do plus.  Also, this zero is not commutative.  I wrote a span monoid in a discarded PR, if you want to see:

https://github.com/twitter/zipkin/pull/260