型クラスを使うと同音異義語を定義できるけど
同音異義語が多い言語ってあまり良くないんじゃないかね

オブジェクト指向言語はみんな同音異義語が多いからHaskellも許されると思ったのかな