Re: type families + GADT = type unsafety?

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.