default roles

[Richard Eisenberg]

On Oct 9, 2013, at 6:24 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
> 
> So the conclusion is indeed: Let type class constraints have a nominal
> role, and all is fine.

But, then it would seem that any class with a superclass wouldn't be compatible with GND. Do you see that detail as a consequence of this design?

I think this approach might work, but I'm not yet convinced.

Richard