Conversation

This Tweet is unavailable. Learn more

Those interested should also watch youtube.com/watch?v=hIZxTQ, which explains why you might still want to do coherence despite anti-modularity.

Replying to

and

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.

Replying to

and

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?

Replying to

and

You mean the Set example? That's addressed in Ed's talk.

Yeah! Sorry, I saw it while back know he brings it up. Made a few mental leaps but it seems I forgot to write them in my actual tweet 😅