Design patterns for composability with traits (i.e. typeclasses)?

Thanks also.

Note I am just expressing (my "2 cents") what I would do differently and what the motivations might be for me to maybe create my own programming language, rather than adopt Rust for my current targeted need:

Note also, that I am interested in identifying Rust's target focus, so I might (and others do apparently) find a use case for Rust: