use arbitrary index in quickcheck