As mentioned in the discussion at #111, add an instance of the `Arbitrary` class from the `QuickCheck` package.
As mentioned in the discussion at #111, add an instance of the
Arbitraryclass from theQuickCheckpackage.