How to receive a trait with generic methods as an argument inside a trait object?

Question

So trait objects can\'t have methods with generics - that looks fine. But in this language the only ways to use non concrete types -abstractions- are through generics and tr