[Haskell-cafe] QuickChecking classes

[Benjamin Pierce]

Today I've been learning about the wonders of QuickCheck.  :-)

One (obvious?) question that is not addressed in at least the original paper
is how one might use QC to automatically verify the algebraic laws that are
often associated with type classes.  E.g., could we add some QC properties
as members of the Functor class and somehow arrange (probably by some
combination of automation and idiom) that they would be checked every time
somebody creates an instance of Functor?

Regards,

    - Benjamin