我感到困惑之间的差异sum (x,y)和sum(x,y,z)。的类型签名sum似乎是(Foldable t, Num a) => t a -> a。我得到的是它接受了一个可折叠t的类型类型Num a。Sum(x,y)始终输出y,并且sum(x,y,z)给出错误:
"Could not deduce (Foldable ((,,) Integer Integer))
arising from a use of `sum'"
Run Code Online (Sandbox Code Playgroud)
那么为什么sum(x,y)与sum(x,y,z)相比能够输出一些东西