https://www.jasani.org/posts/2008/testing-haskell-with-quickcheck/