Implement QuickCheck checkers

[galderz]

In QuickCheck, you can verify that a monoid follows monoid rules, functor follows functor laws...etc.

This can be achieved via code like this:

quickBatch $ functor (undefined :: List (String, String, Int))

This example shows a list can be defined, along with its applicative and verify that it follows the applicative rules. This other example shows how to verify a monoid.