@@ -142,6 +142,21 @@ infixr 5 .:
143-- '.:' constructs a stream just like ':' constructs a list.
143-- '.:' constructs a stream just like ':' constructs a list.
145+-- Also note that another equivalent way of building streams from pure values
149+-- > let stream = pure 1 <> pure 2 <> pure 3
150+-- > (toList . serially) stream
154+-- In the first method we construct a stream by adding one element at a time.
155+-- In the second method we first construct singleton streams using 'pure' and
156+-- then compose all those streams together using the 'Semigroup' style
157+-- composition of streams. The former method is a bit more efficient than the
145(.:) :: (Streaming t) => a -> t m a -> t m a
160(.:) :: (Streaming t) => a -> t m a -> t m a
146(.:) = cons
161(.:) = cons