I've always wondered why Haskell doesn't support named instances:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87....