add a `MutexArc` type