The `Show` trait is not currently implemented for `Arc`s, even though it is for `Rc`. This should be made consistent.