■

うーん。どうしようもないのかも。

何をしてもpolymorphic methodが出てくるのは致命的(いまさらかよ)。Higher-orderHigher-rank polymorphismが型推論できないことは昔々(?)に証明されている(らしい)ので、手も足も出ない達磨さん状態である。まいった。

まだMLの話しか追ってないので、うまいやり方が他にあるのかもしれないけど…