It seems that experts disagree. The discussion in another thread is that typeclasses fail to solve this issue other thread inasmuch as certain aspects cannot be determined at compile time, and the compiler cannot determine in many cases which evidence object to use.
What I did there was implement something based on typeclasses, but which experts pointed out does not fix the definition of a typeclass.