Use the derived instance
Updated QuickCheck dependency