Added example of generator using quickcheck