_:n118c7cf17a86426685d54257103d80adxb2
<http://schema.org/text>
"You can use an <a href=\"https://v2.ocaml.org/manual/polymorphism.html#ss:explicit-polymorphism\">explicitly polymorphic annotation</a>:\n\nlet () =\n\n(* Here is the line that is changed! *)\n\nlet rec sort : &#39;a. &#39;a list -&gt; &#39;a list =\n\nfun lst -&gt;\n\nmatch lst with [] -&gt; [] | head :: tail -&gt; insert head (sort tail)\n\nand insert elt lst =\n\nlet open Poly in\n\nmatch lst with\n\n| [] &hellip;"
<https://discuss.ocaml.org/t/help-making-this-poly-generic-code-compile/12274>