Re: [Haskell-cafe] HList and Type signatures / synonyms