Haskell：为什么GHC会抱怨“ revList”的方程具有不同数量的参数？

Question

为什么不允许以下内容？

revList :: [Integer] -> [Integer]
revList [] = []
revList = go []
    where 
        go acc [] = acc
        go acc (x:xs) = go (x:acc) xs

我知道删除第二行let是可以编译的，但是我想了解原因。两个定义的revList的类型相同，不是吗？另外，我认为我可以根据自己的喜好放置许多图案，并且将选择第一场比赛。所以我不太明白这里出了什么问题。