No more quickcheck dep for now.