[Haskell] YAHT

7.10まで読了。
Finite Map のキーのtypeは、Ordのインスタンスでなくてはならない。
Eqのインスタンスじゃ駄目な理由は、"balanced trees"にしたいから。
高速にアクセスアクセスするために、tree構造をしていて、そのためには、
キーのtypeはOrdのインスタンスでないといけない。

ということだろうか。