This makes `#[deriving(Hash)]` implement two traits, right?