というか関数の書き方についての正式な定義がハットンの本には
ありません。

引数は１つしか取らないということでいいのでしょうか？
たとえば、

f x = ...

と書いた場合、
「=」は写像の対応を表す記号で、
x -> ...
という意味なのでしょうか？