[Haskell-cafe] how do i use quickcheck in the IO monad?

[Anatoly Yakovenko]

If i have functions in the IO monad, is there a way to use quickcheck
to test them?  I have a bunch of C bindings that unfortunately are not
"safe".  But i would like to be able to use QuickCheck to test them.

Thanks,
Anatoly