Like with your relaxation of the kind bounds on `Clone for Arc`, are the `$Rx` necessary here? (And on most of the other impls.)