I am reluctantly learning C++ STL (Standard Template Library) and the notion of templates. Templates don't seem to be that great ... just parametric plymorphism done in a somewhat heavy handed way when compared to the same in OCaml, Haskell, etc. However, teh STL notion of containers and available operations allowed on containers does seem to be be very powerful and not available in OCaml. Is the last statement true?