(quickcheck (subject (gen-uint8))
  (verify subject (is positive?))
  (verify subject (is < 100)))

;; It will invoke the generator (current-sample-size) times 
;; and binds the result to subject which then can be verified
;; The output will only report success (once) if the verification succeeded for all 
;; values of subjct.
;; It will report the very first verification that failed for any value of subject


;; Example output with console reporter
;;
;; ✔ (verify subj (is positive?))
;; ✔ (verify subject (is positive?))
;; ✘ (verify subject (is < 100))
;;   Expected 238 to be < 100

;; Actual output
;; ✔ (verify subject (is positive?))
;; ✘ (verify subject (is < 100))
;;   Expected 238 to be < 100