Sans la notation POLYNOME with type c = A.t, le type c des coefficients est abstrait et il ne serait donc plus possible de construire des valeurs de type c. La construction préserve l'information que le type c des coefficient est égal au type A.t des éléments de l'anneau reçu en argument. Par exemple, si l'on fabrique les polynomes à coefficients entiers (ie. dans Int), alors on pourra utiliser les entiers 1, 2, etc. comme coefficients car le système saura que c = Int.t = int.