Módulo '{0}' contém {1} \ nmas sua assinatura especifica {2} As aridades diferem na assinatura e implementação. A assinatura ...

Módulo '{0}' contém
    {1}    \ nmas sua assinatura especifica
    {2}    
As aridades diferem na assinatura e implementação. A assinatura especifica que '{3}' é definição de função ou expressão lambda aceitando pelo menos argumento(s) {4}, mas a implementação é um valor de função computado. Para declarar que um valor de função computado é uma implementação permitida simplesmente coloque seu tipo entre parênteses na assinatura, por exemplo.
	val {5}: int -> (int -> int)
ao invés de
	val {6}: int -> int -> int.