Updated Proposal: Revisiting Implicits

[morgen-peschke]

@smarter

If your typeclass contains extension methods, you don’t need to import them separately, they are in scope if an implicit of the typeclass is in scope, so no import tax there.

That has not been my experience.

For example, the only way I could consistently get the extension methods for this Convertible typeclass to compile was to use the given ops[A]: AnyRef { ... } style of defining extension methods, and explicitly import them using import types.Convertible.given in each file where I wanted to use them.