Derivation for Test.QuickCheck.Arbitrary.

Things to note:

• The resulting instances do not implement coarbitrary, only arbitrary.
• The resulting instances of arbitrary generate each constructor of the data type with equal probability.
• No form of size control is used.