Take a look at quickcheck if you want something that works today.

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