Indeed, assignment would be an extremely bad idea. I thus suppose that `Mutex` should not be `SafelyMutable` but could still use the `mutable` indicator to indicate whether it's allowed to mutate its inner value (or not).