Las definiciones de {0} en la signatura y la implementación no son compatibles porque la implementación define el {1} '{2}' ...