That&#x27;s one way of doing it, but most formally I think it has to do with whether you&#x27;re considering the list type in a &quot;data&quot; sense or a &quot;codata&quot; sense. In either case you might be talking about the same &quot;shape&quot; of data, but streams are defined under observation as compared to construction.