quickcheck assignment 1 of reactive programming