With Eris for property-based testing