付けなければなりません。すいませんすいません。変換しなければなりません。本当にめんどくさいですね。すいませんすいません。これには訳があるのです。相当するような演算子はありません。なくはないのですが、邪道なので。型に対して非常に厳密だからです。足し算と定義されています。和というような定義の足し算は自分で作らない限りありません。するのは自分で変換する必要があります。組み込みで単方向リスト、タプル、配列があります。レコードもありますがしばらくは使わなくてまあなんとかなるでしょう。単方向リストやタプルは非常に良く使うので重要です。先頭要素を除いたリストをとれます。タプルは、コンマで区切って書きます。タプルは同じ型じゃなくてもかまいません。それぞれ1つめの要素、2つめの要素をとれます。この辺は後のパターンマッチの章で出てきます。これも同じ型じゃないと入りません。なんか変な文法ですね。配列の要素は実は更新可能です。配列そのものは更新できません。