What is the difference between traits in Rust and typeclasses in Haskell?

Hello, colleagues!\n\nI started learning Rust after Haskell and noticed that traits in Rust are very similar to typeclasses in Haskell. At first glance, they solve the same problem — allowing you to define common behavior for different types. But I feel there are fundamental differences between them that I can't yet clearly articulate.\n\nFor example, in Haskell I can write:\n\n```haskell\nclass Show a where\n show :: a -> String\n\ninstance Show Int where\n show x = "Int: " ++ show x\n```\n\nAnd in Rust the analog looks like this:\n\n```rust\ntrait Show {\n fn show(&self) -> String;\n}\n\nimpl Show for i32 {\n fn show(&self) -> String {\n format!("i32: {}", self)\n }\n}\n```\n\nIt seems similar, but I notice a few things:\n1. In Haskell, typeclasses can have multiple