Even more arbitrary quickcheck