パラメータに使うとき以外も`->`を使うので、「関数の型は`->`で表せます。これをつかうとパラメータに関数の型を明示できます。」とかのほうが正確では。