Agda.Utils.QuickCheck
isSuccess
quickCheck'
quickCheckWith'