型と型クラス

9.2 代数的データ型


本文の内容とあんまり関係がないところですが、
フィールドラベルのパターンマッチの書き方が(個人的に)しっくり来ませんでした。

data Font = Font {aSize  :: Int,
                  aColor :: String,
                  aStr   :: String}

getsize :: Font -> Int
getsize (Font {aSize = size}) = size


パターンマッチで

データコンストラクタ {フィールド名 = 変数名}


と言う風に、フィールド名が左辺に来るところがしっくり来ませんでした。
今後使うとき、間違いそうです。
でも間違ってもコンパイルエラーになるので問題ありませんけどね。