如果我们定义这样的函数
fun :: Int -> Property
然后运行
quickCheck fun
quickCheck开始生成Int类型的随机数据。问题是quickCheck如何检测fun的参数数据类型是Int而不是其他任何数据类型？如果我让这个问题更笼统，我应该问我们是否有一个名为fun的函数，像这样]
fun :: datatype_1 -> datatype_2 -> ... -> datatype_n -> PropertyquickCheck如何检测每个单独的datatype_1，datatype_2，...和datatype_n的类型？以及它如何检测函数fun需要多少个参数？
如果我们定义这样的函数，例如:: int->属性，然后运行quickCheck fun，则quickCheck开始生成Int类型的随机数据。问题是quickCheck如何检测到...
大致上，这就是类型类的工作方式。可以声明