tests :: IO Bool tests = checkSequential $$(discover)With manually specified properties:
tests :: IO Bool tests = checkSequential $ Group "Test.Example" [ ("prop_reverse", prop_reverse) ]
Gen.print (Gen.subsequence [1..5])
=== Outcome === [1,2,4] === Shrinks === [] [2,4] [1,4] [1,2]