[QuickCheck] Unxpected compositional behaviour

[Nick Smallbone]

Hi Simon,

On Thursday 30 January, 2014 at 02:43 pm, Simon Hengel wrote:
> Hey Nick,
> 
> > The reason this happens is that Property is currently a type synonym
> > for Gen Prop - i.e. something which when given a random number seed
> > will return a test outcome. In your example you are testing the first
> > property and then throwing away the result. Property should really be
> > an abstract type to prevent this kind of problem - I've put it on my
> > todo list :)
> 
> I'd prefer to have it just newtype-wrapped, but not abstract, so that
> you can still tinker with it.

Yes, sorry for any confusion - a newtype wrapper is what I meant.

Nick