A monadic approach to stream interaction and composition.