A Testing Framework for Haskell