I found this proposal interesting. Indeed, as far as I can remember, almost every instance I did in the Num class forced me to do a couple of instances more (Eq and Show) that I have never thought to do. Sometimes, even there was no way to do them (in a reasonable way).