Chapter 15 Exercise 1

[chrisg]

I'm scratching my head over this one. Is there a way to use
QuickCheck in the MonadHandle monad? I feel like I'm missing
something obvious, but there doesn't seem to be enough pure code to
actually create a test property.

[David Fries]

Same here. After some googling, I found an article which is closely
based on the material in chapter 15. It shows how to use quickcheck to
test DB access:
http://codebetter.com/blogs/matthew.podwysocki/archive/2009/01/10/functional-programming-unit-testing-part-6.aspx

Perhaps this helps. I still couldn't wrap my head around the exercise
even after reading it, though...

[TomAmundsen]

Yea, I am confused by this exercise as well. How can we inspect an
action?