In my mythical language type class methods and associated types are required to point to a standalone top-level implementation and to be exported along with instances.
Conversation
Replying to
Wonder if something like modular implicits could help. Instead of creating a typeclass, crate a module that's a subtype of a bunch of other module types. Then you use instance resolution to figure out what module to implicitly pass, or you can access it explicitly.