OCaml
polytypic