How to write tests using QuickCheck for the definition of ($)

Question

And also for composing function.

f $ a = f a
f . g = \x -> f (g x)

Answer 1

QuickCheck仅适用于具体类型，因此您首先需要实例化类型：

($) :: (Int -> String) -> Int -> String