みんなありがと。

>>62
GHC 7.12 のリリースはまだ当分先だと思うから、record を試してみるよ。


>>63
誤解させたようですまん。
>>61 の例はあくまで例で、実際は Type1 と Type2 で持っているレコード数が異なるんだよ。

あと、それって

type Type1 = Type0 Int
type Type2 = Type0 String

ということ？
Type0 Int と type0 String は別の型じゃないの？


>>65
ごめん、もう少し噛み砕いて説明してくれると助かる。
どういこと？