Isn't that just related to constraints not being part of instance selection? (Assuming that `instance SomeClass a a` is interpreted as `instance (a ~ b) => SomeClass a b`, since I don't quite see how it would work otherwise given how instances work; the constraint is not necessarily obvious from looking at it. Also note that standard Haskell can't therefore describe this instance properly.) 
--