[Haskell-cafe] QuickCheck properties for Haskell98 Libraries?

I was curious if anyone had a collection of QuickCheck rules for testing the Haskell98 Prelude and libraries? It seems like it would be a useful thing to exist as a common resource. In particular, if there were overloaded rules for the various class properties then it would be easier to test whether the instances one writes for standard classes were correct. In fact, it would be nice if the author of every class provided some quickcheck rules for testing the laws instances should obey. John -- John Meacham - ⑆repetae.net⑆john⑈