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