Haskell implementation of a systematic concurrency tester