Tightened the dependency on quickcheck-instances.