Just to further illustrate what I'm saying, are you really trying to say that
```
//explicitly annotating this struct is default initializable and copyable
#[derive(Default, Copy, Clone)]
struct Foo { ... }
```
is actually worse than
```
struct Foo {...}; // rule of zero, copy/move/default are defined/deleted based arcane rules predicated on the contents of Foo
```