streaming-0.2.3.1: an elementary streaming prelude and general stream type.