robrix/Traversal — pull request #36 by robrix (2014-12-01 23:27:52+00:00)
Title: Flatten map streams

Implements `Stream.flattenMap(…)`, `++`: (`Stream`, `Stream`) → `Stream`, and left and right folds.