日本語版278頁目、定理23.6.2の直前の定義の説明の文章が不正確

[Eijiro Sumii]

日本語版278頁目、定理23.6.2の直前の定義は原著が微妙に誤っていたので
日本語版で独自に修正したのですが、その直前の本文も修正すべきところを、
修正していませんでした。

誤：「これは型適用の引数を（部分的に）消去し、それ以外の型注釈をすべて残す。」
→
正：「これは型適用の引数とラムダ抽象の型注釈を（部分的に）消去する。」

これも昨年10月のメモがあったのですが、完全に忘れていました…。すみません。