I think this primitive could be safely implemented with a `MutexArc`.