Hippopotame (./49) :

quand on définit un type genre type Machin = Prout of (int*int) | Zob of (Prout*Prout);; ça tourne très souvent aux parenthèses imbriquées imbriquées.

Ben... non?

Prout(1,2)Zob(0,-1)

Sauf qu'attention, c'est pas vraiment Prout(1,2) mais plutôt Prout (1,2), donc après si on veut s'en servir comme d'une seule unité il faut faire (Prout (1,2))
(en fait c'est sans doute à ça que yoshi faisait référence, je croyais qu'il parlait de la définition du type)

et les messages d'erreur peu explicites

C'est le problème du compilateur, pas du langage.

Un peu aussi quand même : le langage ne fournit pas assez d'informations pour lire le cerveau du programmeur en cas de problème de type
(alors qu'en C, les type sont notés explicitement dans le code donc le problème ne se pose pas)