Derivation for Test.QuickCheck.Arbitrary (version 2 of quickcheck.)

• The resulting instances of arbitrary generate each constructor of the data type with equal probability.
• No form of size control is used.