(Actually, on second thoughts, IMO, it would be better to avoid `#[deriving]` for `Arc`, since it has a raw pointer.)