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