Wondering about Typeclasses

This is starting to sound like: Just for fun: What if there were no type classes at all?