Once again, we worry about different things. I worry about *logical* mutability while you worry about *bit-wise* mutability.

From a logical mutability point of view, the existence of `mutable T` or `Unsafe<T> fields is not necessarily an issue providing this implementation detail does not leak into the interface.