[Haskell-cafe] QuickCheck arbitrary/co-arbitrary

[Donald Bruce Stewart]

joelr1:
> Folks,
> 
> I'm collecting examples of QuickCheck arbitrary/co-arbitrary  
> definitions, the more complex the better. Please point me to any or  
> send them if you are willing to!
> 
> Also, is there a cood explanation of co-arbitrary someplace?

Check the QuickCheck paper for the definition and motiviation of
coarbitrary.