On Mon, 9 Jan 2012, Jean-Philippe Bernardy wrote: > Isn't a unit test just a property with 0 free variable? > If so, equality statements can always be handled by Quick/SmallCheck. In principle yes, but it is tested 100 times. :-)