I do think my suggested code was better than this format; what's the reasoning for this being different to all other `#[deriving]`s? (Also, this still has the problem of repeating the trait names twice.)