Like the
sequence but streaming. The result type is a stream of
a's,
but is not accumulated; the effects of the elements of the
original stream are interleaved in the resulting stream. Compare:
sequence :: Monad m => [m a] -> m [a]
sequence :: Monad m => Stream (Of (m a)) m r -> Stream (Of a) m r
This obeys the rule