Haskell Behavior Testing Framework