fitspec-0.4.3: refining property sets for testing Haskell programs