I don't really understand how this can actually be implemented. It seems like it may require some extensions to the trait system (and the `Eq` trait) to allow something like

```rust
impl<T: Deref<u8>> Eq<T> for u8 {
   fn eq(&self, other: T) { ... }
}
```

And then one would need to do this for each and every generic `Eq` impl.