f(by) 2020: An overview of property testing in Haskell, Tom Sydney Kerckhove