SML中的函数只有一个参数是什么意思？

Question

所以我读到SML中的每个函数都有一个参数和一个结果。但我看到的例子如下：

fun foo x y = x + y;
fun goo x y z = 5;

这些例子让我觉得他们得到了不止一个论点。签名：

val foo = fn : int -> int -> int
val goo = fn : 'a -> 'b -> 'c -> int

我能想到的唯一可能的解释是“语法糖”，虽然我不确定。对此有什么解释？