TI - not really, because type classes are explicit...

# language-proposals

[dmitry.petrov]

TI - not really, because type classes are explicit.
Resolve - quite a bit, but it looks like it can be expressed in terms of "members imported from object (type class) to file scope / function scope"