Structs, Traits, and What `#[derive]` Really Does