Polymorphismus in OCaml - ad hoc, parametrisch, Inklusion / Subtypisierung

Ich habe ein Problem damit, die verschiedenen Arten des Polymorphismus zu verstehen, insbesondere in Bezug auf OCaml. Ich verstehe, dass Polymorphismus in OCaml mehrere Typen erlaubt, die als 'a' bezeichnet werden, aber ich verstehe nicht, was ...