Hi Ralf,

 

Here is is the 64M question: assume I don't care about type safety; can I define a dynamic language that supports type classes? If yes, we can write a paper. If not, I don't want them!