+ IObservable as a Semigroup.