implemented and added quickcheck tests for Applicative instance of Cons.