I didn’t say it is less readable. I said it is more opaque. After all, there is still a type parameter implicitly. It is also inconsistent, because you still ne

I didn’t say it is less readable. I said it is more opaque. After all, there is still a type parameter implicitly. It is also inconsistent, because you still need type parameters on types or in cases where the type trait is defined on the impl block.