> in ML style languages because they do not make use of inheritence. Except for OCaml and Scala (or any other ML supporting subtyping), where you could simply

> in ML style languages because they do not make use of inheritence. Except for OCaml and Scala (or any other ML supporting subtyping), where you could simply define type's variance.