but later in the comments I show an example with data families which fails on both 6.10.4 and 6.12.1.
Ah, I think I misinterpreted your comment, when I read it for the first time. Thanks for pointing me at it again. But I still don't see whether or not the two examples are related. At least the error is different.
Sebastian -- Underestimating the novelty of the future is a time-honored tradition. (D.G.) _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users