[Haskell-cafe] Free lunch with GADTs