OCamlならこのぐらいの型推論は自動でやってくれるのに
C++にもOCamlの機能をとりこんでほしい