[Haskell-cafe] Re: Data instance for a GADT