[Haskell-cafe] Read & Show instance generation for GADTs?