Code written with @mostalive at Nat Pryce and Keith Braithwaite's workshop on property-based testing at SPA 2013