The way code is written in Haskell, small laser focused functions and clearly defined and mockable side effects, lends itself very well to property based testing.

This might not be impossible to achieve in other languages, but I haven’t seen it used as prevailently in other languages.