QuickCheck: Automatic Specification-Based Testing

See also http://www.haskell.org/haskellwiki/Introduction_to_QuickChec...

And for a use case: http://blog.moertel.com/pages/seven-lessons-from-the-icfp-pr...