[**** f =_\eta \lambda x. f x]

関数の引数をラムダ抽象を使って明示的にする｡

特に左辺から右辺への変換をeta expansionと言い､value restrictionから多相性の回復を始めとした型システムとうまく付き合っていくときに使われるテクである｡