How do we model the semantics of generic functions in pure languages?

Is there something in the setting described not resolved by (the dictionary-passing implementation of) typeclasses? The modeling problem described seems more like the problem of modeling "top levels" in general than generic functions in particular.