Re: default roles

On Oct 9, 2013, at 6:24 PM, Joachim Breitner 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