Enables quickcheck ^0.9
quickcheck: Automatic property based testing with shrinking
Automatic property based testing with shrinking