Test.LeanCheck.IO

check

checkFor

checkResult

checkResultFor