ユニット型がEnum型クラスのメンバであるのはなぜですか？

Question

LYAHは言う：

Enumメンバーが順次タイプを命じている - 彼らは列挙することができます。 Enum typeclassの主な利点は、リストの範囲で型を使用できることです。彼らはまた、succとpred関数で得ることができる後継者と前任者を定義しました。このクラスのタイプは(),Bool,Char,Ordering,Int,Integer,FloatおよびDoubleです。

なぜ()はこのtypeclassのメンバーですか？ succとpredは常に失敗し、リスト範囲内でそれを使用すると、それ自体は()となります。という意味で、必要な機能をすべてサポートしています。

Answer 1

これらの種類の非公式の方針は、「それが（法に準拠した形で）不可能でない限り、それをインスタンスにする」ことです。このポリシーは過去にいくつかの驚きを引き起こしています（タプルのためのインスタンスはFoldable/Traversable）が、大部分は正のものです。さまざまなクラスのポリモーフィックを使用したいいくつかの関数に遭遇し、具体的な型が適切な型を持っているので、現在のコードで必要となる具体的な型に対してうまく機能することがわかりますインスタンスは定位置にある。