interaction of GADTs and data families: a bug?

Sebastian Fischer sebf at
Thu Apr 15 09:21:36 EDT 2010

>  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  


Underestimating the novelty of the future is a time-honored tradition.

More information about the Glasgow-haskell-users mailing list