Added simple quickcheck test to see if I am getting the syntax correct.