Sat Jan 11 20:34:02 CET 2020

Multiple readers?

So it is actually meaningful to have multiple readers, because each of
those might actually be blocked on some output task.

I wonder if it is then needed to have the dual of select: write to
multiple channels, picking the first that is available.

Good question.

Let's assume this is not the case for now.

AHA. This is like CML.  Because a write can be an event that can be
syncrhonized on.

Maybe CML is just the realization that the duality of the rendez-vous
is just a side effect of it not being general enough?