PushOutputChannel

Type alias for a push output channel.

In push channels, the sender initiates data transfer to waiting receivers.