I'd like libraries to provide QuickCheck support (instances of Arbitrary) for types they define, where possible.  Are there any reasons not to routinely do so?  Otherwise, I end up working them out for myself and probably replicating other people's work.
<br><br>&nbsp;- Conal<br>