[zozbot234]

> I think, though, that modern PLs need better solutions for adhoc overloading.

So, something like "How to make ad-hoc polymorphism less ad hoc"?

[mrkeen]

Orphanless typeclasses FTW