文字と文字列、リスト

'(シングルクォート)'でかこむ文字はChar型。

Prelude> :type 'a'
'a' :: Char

"(ダブルクォート)"でかこんだ文字列はChar型のリスト。[]でかこまれてるのがリストのしるし。

Prelude> :type "abc"
"abc" :: [Char]
Prelude> :type ['a','b','c']
['a','b','c'] :: [Char]
Prelude> :type "a"
"a" :: [Char]

なるほど。""でかこめば1文字でも要素ひとつのリストってわけか。
文字列を''でかこむとエラーになる。

Prelude> :type 'abc'
:1:1: lexical error in string/character literal