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