Os parâmetros de tipo inferidos para este valor não são estáveis sob o eliminação de abreviações de tipo. Isto ocorre devido ...

Os parâmetros de tipo inferidos para este valor não são estáveis sob o eliminação de abreviações de tipo. Isto ocorre devido ao uso de abreviações de tipo que soltam ou reorganizam os parâmetros de tipo, isto é 
	type taggedInt<'a> = int or
	type swap<'a,'b> = 'b * 'a.
Considere declarar os parâmetros de tipo para este valor explicitamente, isto é
	let f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x).