Stream is a Monoid.