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
.