型クラスの現実的な問題

型クラスの意味論がイイカゲンなわけだが、それはそうとして、型クラスの現実的に厳しい問題は：

1. 型システムとモジュールシステムの役割分担、相互関係
2. 名前の管理

特に名前の管理が滅茶苦茶に大変なのだが、あまり指摘されない。裸の名前・記号をどう解釈して、どう解決するか？ パラメータ名やフィールド名（メンバー名）をどういうスコープでどう扱うか？ モジュールや型システムの名前空間とは別な名前解決コンテキストを設けるか、強制（コアージョン）を使うか？ などなど、問題は山積。