fitspec-0.4.6: refining property sets for testing Haskell programs