QuickCheck
https://hackage.haskell.org/package/QuickCheck