new post: Polymorphic streams in ML