[8] Díky za úvod. V OCaml je trochu problém v tom, že na každý typ se používá jiná sada operátorů a pak je samozřejmě problém v zadávání konstant. Asi by bylo možné definovat typ, který má rozsah od 1 do 10, ale už by to nebyl integer a musela by se použít jiná syntaxe literálů nebo pokaždé znovu explicitní konstrukce typu. Výčtové typy jsou v OCaml také symbolické a nekryjí se s intem.