Fixing your compile problems and an alternate way to QuickCheck functions

Run, and see the counterexample that QuickCheck provides.