The very first property testing library was written in Haskell, as far as I know.