为什么Haskell中函数的方程必须具有相同数量的参数？

Question

有时候，在Haskell中，不要使函数方程中的类型的参数饱和。如下例所示：

f :: Int -> Int -> Int
f _ = id

但是，当使用多个等式定义函数时。至少GHC似乎要求所有方程具有相同数量的自变量。例如，以下是不允许：

g :: Int -> Int -> Int
g 0 = id
g x y = x * y

对我而言，这似乎是一个合理的定义。是什么原因不是这样的呢？