There's a library for haskell that allows you to test concurrent programs, and it will tell you:
* if your program deadlocks
* if it causes exceptions because of misused resources
* if it produces a consistent result

it's called "dejafu": https://hackage.haskell.org/package/dejafu-1.11.0.3#readme