The documentation that @TimSheard wrote in `docs/constrained-generators` should be moved to the https://github.com/input-output-hk/constrained-generators repo.