Use to specify custom generators for the given operation or axiom. The
i-th element of the list corresponds to the i-th argument. All
generators must be specified. Not using a custom generator for specific
arguments can be achieved by passing arbitrary.