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