Re: [PATCH master 3/8] Switch TagSet from type synonim to a newtype

On Thu, Jun 09, 2016 at 11:13:53PM +0200, Iustin Pop wrote: > From: Iustin Pop > > This started from the fact that recent QuickCheck declares itself an arbitrary > instance "(Arbitrary a) => Arbitrary (Set a)", which conflicts with our > slightly more specific instance. The

[PATCH master 3/8] Switch TagSet from type synonim to a newtype

From: Iustin Pop This started from the fact that recent QuickCheck declares itself an arbitrary instance "(Arbitrary a) => Arbitrary (Set a)", which conflicts with our slightly more specific instance. The easiest way to fix this is (especially since this is test code) an