tried to write something about quickcheck