I parametri di tipo dedotti per il valore non sono stabili nell'ambito della cancellazione di abbreviazioni di tipo. Questa ...

I parametri di tipo dedotti per il valore non sono stabili nell'ambito della cancellazione di abbreviazioni di tipo. Questa condizione è dovuta all'utilizzo di abbreviazioni di tipo che eliminano o riordinano i parametri di tipo, ad esempio 
	type taggedInt<'a> = int o
	type swap<'a,'b> = 'b * 'a.
Provare a dichiarare i parametri di tipo per questo valore in modo esplicito, ad esempio 
	let f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x).