いや、Mapがpolymorphicになってるのが読みにくい原因じゃないだろうか。

と思ったので、適当にMonomorphicなMapを定義しました。mli追放!!