[jamincan]

I think meaningless abstractions are fine to a point, but when you have a less trivial example, it can make it harder to keep track of the relationship of different things. For example, you might see something like

  trait Foo {
      fn frobulate()
  }
  
  struct Bar;
  struct Baz;
  
  impl Foo for Bar {
      fn frobulate() {
          // TODO   
      }
  }

  fn qux<T: Foo>(...)

It's ends up being too abstract. A more concrete example would help clarify the relationship of the different elements.