Tom Sydney J. Kerckhove identifies that property testing is often not very practical...
in his talk at our Functional Programming in the City Conference he addresses this problem!
He gives some great coding examples when testing with web service or data base - check it out
This talk discusses how to implement proper property testing in Haskell. It moves way beyond the classic toy examples and examined real-world scenarios. It takes a deep-dive into how to make property tests interact with web services or database systems. It also explains how to use custom generators and testing combinators.
Other topics discussed are as follows:
Testing with Databases
Testing with Services
Writing Custom Generators
Using Testing Combinators