Yes, it will. The exact syntax would be with the modifier in each parameter that needs to be resolved with a typeclass instance, e.g.:

fun <A> something(with t1 : Typeclass1<A>, with t2 : Typeclass2<A>)

If they're named, are they also automatically in scope? i.e., do we have to write

t1.run { ... }

?

The goal is that you don't have to write

t1.run{ ... }

, they will be in scope if the compiler is able to resolve them