shrinker takes an 'a and returns a vector of 'a.
gen.shrink(shrinker, g)
shrinker
a function takes an 'a and returning a vector of 'a.
g
a generator we wish to add shrinking to