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