I've got a little project, based off of fizzbuzz, that I would like to write

property tests for using either QuickCheck or SmallCheck.

Could someone have a look at https://github.com/mlitchard/fizzbuzzfib/blob/master/src/FizzBuzz.hs and help me sort out how to write property tests?