Debating the Push-Pull Nature of Streams
It is said that streams are pull based (https://effect-ts.github.io/effect/effect/Stream.ts.html#stream-interface), but doesn't
Stream.async* (https://effect-ts.github.io/effect/effect/Stream.ts.html#async) means that they are push based also?
