reverse' はコンパイルエラーにならないのに reverse'' はコンパイルエラーになるのはなぜだろう

reverse.hs

reverse' :: [a] -> [a]
reverse' = foldl (flip (:)) []

reverse'' :: [a] -> [a]
reverse'' = foldl (:) []

文字で説明すると。。

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

なので、foldlに与えた第2引数 []の型 と、「第1引数に与えた関数の第1引数、戻り値の型」が合ってないといけません。

:t (:)
(:) :: a -> [a] -> [a]

なので、与える関数の第1引数と戻り値を合わせるために

:t (flip (:))
(flip (:)) :: [a] -> a -> [a]

とする、というところでしょうか。。

ghciのエラーメッセージを訳すとこんな感じですかね(適当

Couldn't match type `a' with `[a]'
  `a' is a rigid type variable bound by
      the type signature for reverse'' :: [a] -> [a]
      at ../test/hs/reverse.hs:5:1
Expected type: [a] -> a -> [a]
  Actual type: [a] -> [[a]] -> [[a]]
In the first argument of `foldl', namely `(:)'
In the expression: foldl (:) []

Couldn't match type `a' with `[[a]]'
  `a' is a rigid type variable bound by
      the type signature for reverse'' :: [a] -> [a]
      at ../test/hs/reverse.hs:5:1
Expected type: [a] -> a -> [a]
  Actual type: [a] -> [[a]] -> [[a]]
In the first argument of `foldl', namely `(:)'
In the expression: foldl (:) []

なんてこった。型aが欲しいところで型[a]が来ちゃったよ。
fold (:) [] の (:) だけどさ、[a]型 と a型 を与えたら[a]型が返ってきて欲しいじゃん？ (Excepted Type)
でも、この(:)って、[a]型を与えてみたら次に[[a]]型を受け取って [[a]]を返すやつじゃないの？ (Actual Type)
あ、aってのは型引数(a rigid type variable)ね。関数宣言でそう書いてるでしょ。

-- 追記
2回同じようなメッセージを出してますけど、”Could't match type”の部分だけが違いますね。。ここは何を言わんとしてるのかよくわからないです。2パターンで推論してみたけどダメだった、ってことなのかな。

今の僕の解釈

foldlとしては

(a -> b -> a) -> a

こういう型で渡さなければいけないのに、

(a -> [a] -> [a]) -> [a]

こういう型で渡そうとしていたってことですね。
aと[a]の型不一致が2つあるから、エラーメッセージも2つあったんですね。

あーなるほど、そういうことなのかな