レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。 data Point = Pt {x :: Integer, y :: Integer}x，y をフィールドといい，それぞれ Integer 型の値を取る。具体的に値を…

型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。 型シノニムを宣言するには type 宣言を使う。 type String = [Char] newtype 宣言は「新しい型」を宣言する。type 宣言と data 宣言の中間的…