Yes, it will. The exact syntax would be with the m...

# arrow-contributors

[tomasruizlopez]

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>)

[toxara]

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

[tomasruizlopez]

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