[Haskell] head の 型(YAHT)

4.4まで読んだ。

headの型は

head :: [a] -> a

なので、

head . head

の型は、タイプエラーになるかと思ったら、

head . head :: [[a]] -> a

だった。 なるほど。

(head . head) ["abcde"]

の結果は 'a' である。