Re: [Haskell-cafe] about GADTs on ghci