[Haskell-cafe] HTF & Quickcheck