[Haskell-cafe] Implicit newtype unwrapping

[Luke Palmer]

On Wed, Dec 2, 2009 at 6:08 PM, Greg Fitzgerald <garious at gmail.com> wrote:
> Gregory Crosswhite <gcross at phys.washington.edu> 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