Even with boxing, you need to be explicit about the generic types somewhere, I think

if the box contains a trait object

dyn Trait

, then you can ignore the specific parameters to traits/structs that result in the trait being implemented. when i said boxing, i guess i really meant dynamic dispatch