fitspec-0.4.0: refining property sets for testing Haskell programs