interaction of GADTs and data families: a bug?

[Sebastian Fischer]

>  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.)