I've seen mentioned the "streaming" package as an example of this: http://hackage.haskell.org/package/streaming http://hackage.haskell.org/package/streaming "s

I've seen mentioned the "streaming" package as an example of this: http://hackage.haskell.org/package/streaming http://hackage.haskell.org/package/streaming "streaming" provides a Stream type which is parameterized by a Functor. The main module in the package provides very general functions which work for any functor and often involve natural transformations and functor compositions and sums. http://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming.html http://hackage.haskell.org/package/streaming-0.1.4.5/docs/St... The "Streaming.Prelude" instantiates the functor with a pair type and provides the more concrete API that one would expect from a streaming library. http://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming-Prelude.html http://hackage.haskell.org/package/streaming-0.1.4.5/docs/St...