Commented in other thread. Prefer `arbitrary` to `random` as randomness is an implementation detail. Also `arbitrary` is a pretty established term since QuickCheck is essentially the state of the art of testing, gradually getting ported to every language.