I’ve found that when generating examples of recursive datatypes, you have to be careful about growth factors because it’s easy to cause an exponential blowup.
I’ve found that when generating examples of recursive datatypes, you have to be careful about growth factors because it’s easy to cause an exponential blowup.