Got quickcheck to work