merge in quickcheck and proper coverage