Agree. I like most parametric polymorphism too. The drawbacks are: 1. In C++, the compile error messages with templates are so hard to navigate. 2. In OCaml, s

Agree. I like most parametric polymorphism too. The drawbacks are: 1. In C++, the compile error messages with templates are so hard to navigate. 2. In OCaml, sometimes we need pay attentions on the performance.