Streams in ML

Instead, represent a stream cons cell as a pair of
- a head value and
- a function that will return the next element in the stream

- datatype ‘a stream = Stream of ‘a * (unit -> ‘a stream);