Fixing your compile problems and an alternate way to QuickCheck

Run, and see the counterexample that QuickCheck provides.