We need a scala minus implicits.

I don't find the idea of programming without typeclasses appealing – at all.