haskell-quickcheck-simple