Automatic testing of Haskell programs
