Haskellで関数の正格性に関するテストを書く際にはChasingBottomsパッケージを使うと良いようだ。 https://hackage.haskell.org/package/ChasingBottoms