Why not just add classes?

[withoutboats]

@shelby3

I claim Rust has ad hoc polymorphism similar to Haskell's typeclasses, which is one the main features drawing me to investigate Rust.

You are right. Rust's traits are absolutely an implementation of type classes, though there are some differences from Haskell's implementation.