Typeclasses play poorly with Modules. One is the picture of a global phenomenon and the other the essence of forsaking global phenomena.<p>There&#x27;s current work under the name &quot;modular implicits&quot; to solve this problem, though.