関数定義

関数名や変数名の先頭はアルファベット小文字か「_」。大文字は使えないのですね。試しに先頭大文字の関数を定義しようとしたら "Invalid type signature" とエラーになりました。

二項演算子の定義については使う機会があまりなさそうなので、二項演算子の定義もできるということだけ覚えておきます。

優先順位と結合性は覚えられないのでパス。infixl, infixr, infixを使って優先順位と結合性を指定できます。これもそういう物があるということだけ覚えておきます。