Offer a version of put that can run multiple times about monad-par

[simonmar]

Do you have an example where this would be useful? It would be unsafe in the sense that you could write non-deterministic things using it.

[treeowl]

Yes. I actually considered something a bit like this in unordered-containers (for alterF), but rejected it for domain-specific performance reasons. It can happen that several different "pure" computations are each capable of capturing information that will be useful for the others. It's possible to take advantage of this by using unsafeDupablePerformIO to write that information to a reference the other computations can access. But if multiple-put is absolutely prohibited, this won't work.

[simonmar]

Ok, it seems like you might want two versions - unsafeTryPut that doesn't overwrite and unsafeWrite that overwrites. I'd be happiest if this could be done without affecting the performance of code that doesn't use these, and the documentation should make it clear which guarantees are lost by using these.