Conjecture is a new approach to property based testing - View it on GitHub