QuickCheck: An Automatic Testing Tool for Haskell