> 例えば f が型 int -> int を持つ自由変数のとき、
ごめん意味不明。言いたいことは分かると思うけど。
「例えば f が型 int -> int を持っているとき」
に訂正。