Agda.Utils.QuickCheck

isSuccess

quickCheck'

quickCheckWith'