Indeed, the very goal of `SafelyMutable` is to describe the functionality of `Cell` in a Trait the type system is aware of so that other types can implement `Cell`'s functionality (and assignment). Instead of being an OVNI, `Cell` becomes one of the types implementing `SafelyMutable`.