Re: [Haskell-cafe] Implicit newtype unwrapping

On Wed, Dec 2, 2009 at 6:08 PM, Greg Fitzgerald wrote:

Gregory Crosswhite wrote:

...

Out of curiosity, why would one want a "newtype" that were unwrapped implicitly, rather than just using "type"?

One reason might be because you only switched from 'type' to 'newtype' so that you could write more refined Arbitrary instances for your QuickCheck tests.

Maybe that is an indication that we should use a checker combinator library instead of typeclasses for automated testing. Less convenient, more adaptable. Luke