I read the original paper on modular implicits last week and really hope it makes to the mainline branch soon. My only dislike is having to mark modules as being implicit, rather the compiler checking against all modules in scope. I suppose this makes compilation faster, but I’m wondering if it’s a case of premature optimization.
Interesting. I think I’d like that as a default as long as excluding some modules from the lookup could be an option (explicit module?).