fitspec-0.4.4: refining property sets for testing Haskell programs