The use of actual references enables us to be correct with respect to mutability without needing two structs for the mutable and immutable cases and more deref impls.
Steven Fackler