ivory-quickcheck: customer generators for arrays.