value polymorphismの話をするときに、OCamlの例を出すのは反則に近いような気が。

細かい規則は忘れたので、つぶやくだけ。後で確認しておこう。