[Haskell-cafe] An HSH case study