Also cross reference a discussion in 2018 about modular implicits.
Back then, some community users call for a new language.