読者です 読者をやめる 読者になる 読者になる

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

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