クラスのインスタンスである必要がある。p202)関数型言語を、これまで知らなかったので、「部分適用」は驚きの性質。Schönfinkelとゴットロープ・フレーゲである。非カリー化(uncurrying)とは、これの逆の変換である。カリー化とは直感的には「引数を幾つか固定すると、残った引数の関数が得られる」ということである。引数の逆数を返す関数になる。部分適用は、クラスとインスタンスの関係を連想させる。メタ的な関数として、複数の引数を与える関数がある。そこから、部分適用により、具体的な関数を導出する、といった流れ。関数に対して、部分適用をし、その型を調べてみる。型の値が返ってくるよ。型の値が返ってくるよ。型です!」ということ。t部分適用により、具体的な制約や型が付けられるのが分かる。使うと、プログラムの中で型を調べることができる。