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> - Conal<br>