oneOf package:falsify
Generate a value with one of many generators
Uniformly selects a generator and shrinks towards the first one.
Start with x, then shrink to one of the xs
Once shrunk, will not shrink again.
Minimal value is the first shrunk value, if it exists, and the
original otherwise.