Solve diamond problem of implicit resolution

[nilern]

• Type classes use coherence for this.
• Modular implicits use module aliases (~ singleton types). This would require tracking module identity, perhaps like the F-ing modules applicative functors abstraction safety solution.