Agda.Utils.TestHelpers
associative
commutative
idempotent
isZero
identity
leftDistributive
rightDistributive
distributive
natural
positive
maybeGen
maybeCoGen
listOfElements
elementsUnlessEmpty
two
three
runTests