> 型クラスは別に関数型関係ないでしょ
アドホック多相は関数を扱う関数型言語では欠かせない存在でしょ

> implicitの代わりに明示的にインスタンス渡せばいいだけだし
中置演算子とかで使えなくなるじゃん