A template class library for the programming language "OCaml"