# #< #> -=- <=> <~ <~> <~~> ==> ~> always args classify collect collectAs deterministic eventually failing for forAll forAllValues ioTestOf is isAlways isEventually label result returns sameReturns solutionOf stamp successful test testsOf toError toIOError trivial uniquely updArgs valuesOf valuesOfSearchTree