I agree somewhat, in Haskell you can write generic functions without traits, and I think they are not monomorphized. (map for example.) However, I think these

I agree somewhat, in Haskell you can write generic functions without traits, and I think they are not monomorphized. (map for example.) However, I think these all operate on boxed objects, which is a little bit easier to do than for Rust, where only some objects are boxed. In short, I agree.