†p.23型は、互いに関連する値の集合です。Bool型にはFalseとTrueという二つの真理値が含まれます。notのような関数がすべて含まれます。T」という表記を使います。この形式を型注釈と呼びます。Tである」と読みます。:typeコマンドを式の前に付けると式の型が表示されます。すべての単一文字が値として含まれる型です。'\t'(タブ文字)といった制御文字も含まれます。""のような文字の並びが値として含まれる型です。Haskellにおけるシングルクォートとダブルクォートの使い分け。†リストとは、同じ型の要素の並びであり、それらの要素を角括弧で囲みカンマで区切ったものです。