RE: defaults

| Well, for one thing I don't like the idea of a "list" of potential | defaults. My suggestion is that there should be a single default type | per class. If more than one class is involved, then either their | defaults should agree, or only one of them in fact declares a default. Ah, I missed that. Suppose I have default Eq Integer default Fractional Float and I have (Eq a, Fractional a). Does 'a' resolve to Integer or to Float? Perhaps a few examples on the proposal page would be useful for readers? Simon