Als «typeclass» getaggte Fragen

Verwenden von Haskell-Typklassen zum Erzwingen der Kommutativität

Ich möchte eine Typklasse für geometrische Objekte definieren, die zusammen geschnitten werden können: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Die Idee ist, universelle Schnittfunktionen...

Warum ist Bounded nicht eine Unterklasse von Enum in Haskell?

Es scheint, dass jede Bounded-Instanz eine vernünftige Implementierung von Enum haben sollte. Ich kann mir kein Gegenbeispiel vorstellen, obwohl ich verstehen werde, warum dies nicht der Fall ist, wenn jemand eines findet, das nicht pathologisch ist. Ausgehend :ivon den beiden Typklassen scheint...