type families + GADT = type unsafety?

[Wolfgang Jeltsch]

Am Donnerstag, 27. September 2007 15:27 schrieb Roberto Zunino:
> Roberto Zunino wrote:
> > (Trac reports "database locked", posting here...)
>
> For those interested, here are the follow-ups:
>
> http://hackage.haskell.org/trac/ghc/ticket/1723
>
> Regards,
> Zun.

simonpj writes there:
> Manuel is about to nuke the old GADT stuff in favour of the new type-family
> stuff. 

This doesn’t mean that GADTs are being dropped in favor of type families, does 
it?

Best wishes,
Wolfgang