Le definizioni di {0} nella firma e nell'implementazione non sono compatibili perché una rappresentazione di tipo è nascosta ...