quickcheck-contractmodel-0.1.4.1