[Haskell-cafe] setting up property tests