This forces us to have QuickCheck dependency, that needs to be suppressed. And also makes doctest very slow. So I guess, since we have a normal test-suite and since the law is already written in the docs, we can move those tests to hspec-hedgehog.