たたみ込み演算

Scheme(SRFI 1)のリストのたたみ込み演算って、foldでもfold-rightでも同じ型なのか。解りやすいと言えば解りやすいが、Haskellのたたみ込み演算を先に知ったので、ちょっと理解しづらかった。
Scheme：リストを1つしか取らない場合のfoldの型は下記のようになる(たぶん)。

fold :: (((a b) -> b) b [a]) -> b
fold-right :: (((a b) -> b) b [a]) -> b

Haskell：foldlとfoldrの型は下(たしか)。

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