foo Seq.t is a sequence of values of type foo that is produced on demand, ie as you traverse it. It doesn’t claim to be specialized for infinite streams. Its main goal is to provide a common interface for “sequence of elements” as a common vocabulary between data structures and algorithms (and also to represent sequences that might have trouble fitting all in memory at once).