ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます？
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf

それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか