Code for post http://io.allthethings/posts/convert-midje-to-quickcheck.html