id:takatoh:20060604:group についた hyuki さんのコメント。…

レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。…

型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。…

cf. id:rubyco:20060531:pascal…

データ構成子の引数は具体的な型じゃなくて型変数でもかまわない。…

新しく宣言した型を何らかの型クラスのインスタンスとして宣言するには，instance 宣言を使う。が，いくつかの型クラスに関してはもっと簡単な方法がある。data 宣言と一緒に deriving 修飾子を使うのがそれ。…

「 入門Haskell―はじめて学ぶ関数型言語 」 p.101 より。…

data宣言を使って，新しい型を宣言することができる。こんな感じだ。…

エラーになる。たとえば…

cf. http://hpcgi2.nifty.com/1to100pen/wiki/wiki.cgi?p=����Haskell 2006-05-21…