[Veedrac]

On further thought, the genericism of transducers seems to hurt when you want to combine multiple streams, even somewhat trivially:

   zip_flat xs ys = zip (flatten xs) (flatten ys)

I don't see how you could implement this as a transducer, since a transducer isn't able to reason about its inputs.