Those interested should also watch youtube.com/watch?v=hIZxTQ, which explains why you might still want to do coherence despite anti-modularity.
This Tweet is unavailable. Learn more
Conversation
This is covered under in the modular implicits paper. It is a tricky design problem, but I would prefer we tried to get implicits to work.
2
1
It's good to watch that anyway - more as a challenge. Can we almost get to the point of having our cake and eating it too re. type classes?