9 Oct
2013
9 Oct
'13
8:18 p.m.
On Oct 9, 2013, at 6:24 PM, Joachim Breitner <mail@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