Merge-able, bind-able, potentially infinite streams in SML - View it on GitHub