refine properties for testing Haskell programs
enumerative property-based testing for Haskell
Speculate laws about Haskell functions