Streams in Standard ML of New Jersey.