Die für diesen Wert per Rückschluss abgeleiteten Typparameter sind beim Löschen von Typabkürzungen nicht stabil. Dies ist ...

Die für diesen Wert per Rückschluss abgeleiteten Typparameter sind beim Löschen von Typabkürzungen nicht stabil. Dies ist auf die Verwendung von Typabkürzungen zurückzuführen, die Typparameter löschen oder neu anordnen, z.B. 
	type taggedInt<'a> = int oder
	type swap<'a,'b> = 'b * 'a.
Deklarieren Sie die Typparameter für diesen Wert explizit, z.B.
	let f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x).