Annotate the types of implicit instances

[non]

As @retronym says:

I'd suggest to annotate the types of implicits as a rule around the code base.
It is too easy to have overly-specific structural types inferred for
implicit val fooInstance = new A with B { .... }

[milessabin]

Yes, definitely.

[adelbertc]

Are there places where this isn't being done? grep-ed around the codebase and everything seems to be annotated. That, or I'm bad at grep, which is quite possible.

[non]

I think previously there were. They may all be fixed now.

[ceedubs]

I think they are all fixed except some places where we have simulacrum TODOs like here.