foldr がなぜ以下のようになっているのか分かりません。

foldr :: (a -> b -> b) -> b -> [a] -> b

以下では間違いなのでしょうか？
foldr :: (a -> a -> a) -> a -> [a] -> a