On 2014-10-19 at 14:35:02 +0200, Neil Mitchell wrote: [...] > * Change 3: Check in the generated test code Can't something in the style of https://hackage.haskell.org/package/doctest be used to avoid having to run a generator manually? Btw, Haddock has even markup support for QC properties via "prop>"-prefixed code-blocks. Cheers, hvr