[Haskell] deriving Show for GADT?