Les paramètres de type déduits pour cette valeur ne sont pas stables sous l'action de suppression des abréviations de type. ...

Les paramètres de type déduits pour cette valeur ne sont pas stables sous l'action de suppression des abréviations de type. Cela est dû à l'utilisation des abréviations de type qui suppriment ou réorganisent les paramètres de type, par exemple 
	type taggedInt<'a> = int or
	type swap<'a,'b> = 'b * 'a.
Déclarez explicitement les paramètres de type pour cette valeur, par exemple
	let f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x).