ivory-quickcheck package for generating arbitrary values for generated programs.