[Haskell-cafe] Misleading MVar documentation

[Edward Z. Yang]

These are interesting, opposed perspectives, and I suspect what would be
good is to treat both situations.  I think perhaps what would be good
to put in the introduction is the conceptual model of MVars: that is,
take and put are the fundamental operations, and everything else is
composed of them.  With additional constraints on who is writing and reading
MVars, you can assume more safety properties, but you have to ensure
that those are indeed held (or you should use STM instead.)

I'll try another writeup. Does anyone know where the original papers for
MVars might be?

Cheers,
Edward