Ah, I see, I think that the `deriving(Hash)` should expand to `impl Hash for Type` and `fn hash(&self, &mut state: SipState)` for now (instead of using `W: Writer`)