Haskell and Rust typeclass coherence rules prevent overlapping instances globally

Typeclasses in Haskell and traits in Rust provide compile-time polymorphism by resolving method calls based on type arguments. Coherence ensures that identical type constraints always resolve to the same instance, preventing divergent behavior for the same method call across a program. This property is implicit in most code using typeclasses, such as serialization, hashing, or comparison operations, where consistency is assumed but rarely verified explicitly.

The orphan instance rule enforces coherence by restricting where typeclass instances can be defined. An instance is an orphan if it is defined in a module that does not contain either the typeclass or the type. Without this rule, two libraries could independently define instances for the same typeclass and type, leading to overlapping instances when composed. The rule forces global checks, ensuring no two instances for the same constraint exist anywhere in the program, even transitively.

Coherence is a whole-program property, meaning it cannot be guaranteed locally within a module or library. This creates tension with modularity: libraries must be designed to avoid orphan instances, or risk being incompatible with other libraries that define overlapping instances. The example of modules A and B, each coherent in isolation but incoherent when combined, illustrates how orphan instances can silently break assumptions in dependent code, such as data structure invariants or serialization formats.

The practical consequence for engineers is that typeclass-based designs must account for coherence constraints early. Libraries that rely on orphan instances may work in isolation but fail when integrated with other code. This limits flexibility in extending existing types with new typeclass instances, as the orphan rule requires either modifying the original module or avoiding the instance entirely. The trade-off is between modularity and global consistency, with coherence prioritizing the latter at the cost of the former.