Embed Notice

In this code above is I actually "verify" important properties of the important thing: file ranking works as expected.

It's explicitly NOT "if I give x input I get y output" style unit test. The "statistical verification" comes from the fact that you can programmatically generate inputs and verify the outputs, and thus generate >1,000 test "cases" from just one actual property test.

And this is because, I think, you're dealing with more abstract logic, which Haskell really lends itself to.