[Haskell-cafe] Implicit newtype unwrapping

Greg Fitzgerald garious at gmail.com
Wed Dec 2 20:08:03 EST 2009

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.


More information about the Haskell-Cafe mailing list