Test.LeanCheck.IO
check
checkFor
checkResult
checkResultFor