Haskell以外でも使えるようです。

QuickCheckにも言及あります。