RE: [Haskell] deriving Show for GADT?