Параметры типа, логически выведенные для данного значения, нестабильны при удалении сокращений типов. Это происходит из-за ...

Параметры типа, логически выведенные для данного значения, нестабильны при удалении сокращений типов. Это происходит из-за использования сокращений типов, которые удаляют или реорганизуют параметры типа, напр. 
	type taggedInt<'a> = int or
	type swap<'a,'b> = 'b * 'a.
Рекомендуется явно объявить параметры типа для данного значения, напр.
	let f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x).