[Haskell-cafe] HList and Data Types a la carte?