We've been kicking around an idea to add a similar `indirect` feature for structs, so that you can very easily adopt copy-on-write on some or all of a struct's members. If we had that already, it would've made a really nice narrative for the upcoming section about getting value semantics with out-of-line storage! Alas.