El módulo '{0}' contiene {1} pero su signatura especifica {2} Las aridades de la signatura y la implementación difieren. ...

El módulo '{0}' contiene
    {1}    
pero su signatura especifica
    {2}    
Las aridades de la signatura y la implementación difieren. La signatura especifica que '{3}' es una definición de función o una expresión lambda que acepta al menos {4} argumentos, pero la implementación es un valor de función calculado. Para declarar que un valor de función calculado es una implementación permitida, simplemente ponga entre paréntesis el tipo en la signatura; por ejemplo
	val {5}: int -> (int -> int)
en lugar de
	val {6}: int -> int -> int.