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. -Greg