I am trying to use quickcheck to generate random arguments of a given function (assuming all its types have Arbitrary instance and Show instance) along with the evaluation of the function at those arguments.

Suppose I have a function 

    

    add :: Int -> Int -> Int

    add a b = a+b

Then I assume a behavior like 

    > randomEvaluate add

    (["1","3"],"4")

where 1 and 3 are random values generated for `Int` and 4 is `f 1 3`.  

I have asked this on SO but am not fully satisfied with the answers.

-Satvik