La proprietà contiene un tipo non valido. Le proprietà che utilizzano più argomenti di indicizzatore devono avere tipi nel ...

La proprietà contiene un tipo non valido. Le proprietà che utilizzano più argomenti di indicizzatore devono avere tipi nel formato 'ti1 * ti2 -> ti3'. Le proprietà che restituiscono funzioni devono avere tipi nel formato '(ti1 -> ti2)'.