On Oct 9, 2013, at 6:24 PM, Joachim Breitner <m...@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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users