Assignment 1 with quickcheck